The processes of De Bakker and Zucker represent bisimulation equivalence classes

R.J. van Glabbeek, J.J.M.M. Rutten

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish
Title of host publicationJ.W. de Bakker, 25 jaar semantiek: liber amicorum
EditorsJ.W. Klop, J.J.C. Meijer, J.J.M.M. Rutten
Place of PublicationAmsterdam
PublisherCWI
Pages243-246
Number of pages4
Publication statusPublished - 1 Apr 1989

Cite this