Deadlock behaviour in split and ST bisimulation semantics

J.C.M. Baeten, J.A. Bergstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
114 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98)
EditorsI. Castellani, C. Palamidessi
Publication statusPublished - 1998

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061

Cite this