Publication

A Lagrangian moving grid scheme for one-dimensional evolutionary partial differential equations In Proceedings

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

A new approach to formal language theory by Kolmogorov complexity (preliminary version) In Proceedings

M. Li (Ming) and P.M.B. Vitányi (Paul)

How to share concurrent asynchronous wait-free variables (preliminary version) In Proceedings

M. Li (Ming) and P.M.B. Vitányi (Paul)

Structured operational semantics and bisimulation as a congruence (extended abstract) In Proceedings

J.F. Groote (Jan Friso) and F.W. Vaandrager (Frits)

Equivalence notions for concurrent systems and refinement of actions In Proceedings

R.J. van Glabbeek (Rob) and U. Goltz

Semantic models for a version of PARLOG In Proceedings

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

J.W. de Bakker, 25 jaar semantiek : liber amicorum Miscellaneous

Voorwoord (bij J.W. de Bakker: 25 jaar semantiek) Book Chapter

J.W. Klop (Jan Willem), J.J.C. Meijer and J.J.M.M. Rutten (Jan)