Publication

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)

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

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

The practical importance of formal semantics Book Chapter

P.H.M. America (Pierre)

A note on disjoint parallelism Book Chapter

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

Playing at semantics Book Chapter

P.C. Baayen