ESTONIAN ACADEMY
PUBLISHERS
eesti teaduste
akadeemia kirjastus
cover
Proceedings of the Estonian Academy of Sciences. Physics. Mathematics

Vol 52, Issue 4, 2003
Special issue on programming theory NWPT’02

Foreword; p. 335
Jüri Vain, Tarmo Uustalu
Full article in PDF format | Abstract, References in HTM format

On the category of data dependency algebras and embeddings; pp. 337–355
Alexa Anderlik, Magne Haveraaen
Full article in PDF format | Abstract, References in HTM format

Labelled BNF: a high-level formalism for defining well-behaved programming languages; pp. 356–377
Markus Forsberg, Aarne Ranta
Full article in PDF format | Abstract, References in HTM format

Extracting high-level information from Petri nets: a railroad case; pp. 378–393
Thor Kristoffersen, Anders Moen, Hallstein Asheim Hansen
Full article in PDF format | Abstract, References in HTM format

Fairness in automata theoretic model checking; pp. 394–412
Tuomo Malinen, Matti Luukkainen
Full article in PDF format | Abstract, References in HTM format

Global invariants for analysing multi-threaded applications; pp. 413–436
Helmut Seidl, Varmo Vene, Markus Müller-Olm
Full article in PDF format | Abstract, References in HTM format

Back issues