External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Axiomatising ST-Bisimulation Equivalence

Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri. Axiomatising ST-Bisimulation Equivalence. In Ernst-Rüdiger Olderog, editor, Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994. Volume A-56 of IFIP Transactions, pages 169-188, North-Holland, 1994.

Authors

Nadia Busi

This author has not been identified. Look up 'Nadia Busi' in Google

Rob J. van Glabbeek

Identified as Rob J. van Glabbeek

Roberto Gorrieri

This author has not been identified. Look up 'Roberto Gorrieri' in Google
runs on