Philippa Gardner

Strong Bisimulation for the Explicit Fusion Calculus

Authors

• Lucian Wischik
• Philippa Gardner

Venue

Foundations of Software Science and Computation (FOSSACS) 2004

Publication Date

Mar 2004

Identifiers

• DOI: doi:10.1007/978-3-540-24727-2_34

Source Materials

• Authors' Preprint/Accepted Version
• Published Edition
• BibTeX Citation