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
Professor of Theoretical
Computer Science
Foundations of Software Science and Computation (FOSSACS) 2004
Mar 2004