Lucian Wischik, Philippa Gardner
Strong Bisimulation for the Explicit Fusion Calculus
FoSSaCS, 2004.
@inproceedings{FoSSaCS-2004-WischikG, author = "Lucian Wischik and Philippa Gardner", booktitle = "{Proceedings of the Seventh International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-540-24727-2_34", isbn = "3-540-21298-1", pages = "484--498", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Strong Bisimulation for the Explicit Fusion Calculus}", volume = 2987, year = 2004, }