CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1989 -
Structured operational semantics and bisimulation as a congruence (extended abstract) In Proceedings
January 1989 -
January 1989 -
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)
January 1989 -
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)
January 1989 -
J.W. de Bakker, 25 jaar semantiek : liber amicorum Miscellaneous
January 1989
-
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)
January 1989
-
January 1989