Publication

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

Control flow versus logic: a denotational and a declarative model for guarded Horn clauses In Proceedings

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

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)

A theory of programs : an outline of joint work : IBM seminar Vienna, August 1969 Book Chapter

J.W. de Bakker (Jaco) and D. Scott