Centrum Wiskunde & Informatica

Intersection types for combinatory logic Book Chapter

M. Dezani-Ciancaglini and R. Hindley

January 1989
A characterization of the state spaces of elementary net systems Book Chapter

A. Ehrenfeucht and G. Rozenberg

January 1989
On the use of semantics: extending Prolog to a parallel object oriented language Book Chapter

A. P. W. Eliëns (Anton)

January 1989
A compositional semantics for the Turing machine Book Chapter

P. van Emde Boas (Peter)

January 1989
Cooperating-proofs for distributed programs with multi-party interactions Book Chapter

N. Francez

January 1989
The process of De Bakker and Zucker represent bisimulation equivalence classes Book Chapter

R.J. van Glabbeek (Rob) and J.J.M.M. Rutten (Jan)

January 1989
Refinement in branching time semantics Book Chapter

R.J. van Glabbeek (Rob) and W.P. Weijland

January 1989
Towards a theory of (self) applicative communicating processes: a short note Book Chapter

H.J.M. Goeman

January 1989

Previous

Next