Original language | English |
---|---|
Title of host publication | J.W. de Bakker, 25 jaar semantiek: liber amicorum |
Editors | J.W. Klop, J.J.C. Meijer, J.J.M.M. Rutten |
Place of Publication | Amsterdam |
Publisher | CWI |
Pages | 243-246 |
Number of pages | 4 |
Publication status | Published - 1 Apr 1989 |
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 proceeding › Chapter (peer-reviewed)