Volume 410; Issue 12-13

Theoretical Computer Science

Volume 410; Issue 12-13
1

Copower functors

H. Peter Gumm
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 794 KB
english, 2009
2

Executability of scenarios in Petri nets

Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 2.69 MB
english, 2009
3

Meadows and the equational specification of division

J.A. Bergstra, Y. Hirshfeld, J.V. Tucker
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 604 KB
english, 2009
4

A semantic approach to interpolation

Andrei Popescu, Traian Florin Şerbănuţă, Grigore Roşu
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.15 MB
english, 2009
6

A study of substitution, using nominal techniques and Fraenkel–Mostowksi sets

Murdoch J. Gabbay
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.61 MB
english, 2009
7

HasCasl: Integrated higher-order specification and program development

Lutz Schröder, Till Mossakowski
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.79 MB
english, 2009
8

Probabilistic Mobile Ambients

Marta Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.55 MB
english, 2009