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,
}











