@inproceedings{FoSSaCS-2014-KoutavasSH,
author = "Vasileios Koutavas and Carlo Spaccasassi and Matthew Hennessy",
booktitle = "{Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures}",
doi = "10.1007/978-3-642-54830-7_21",
isbn = "978-3-642-54829-1",
pages = "320--334",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Bisimulations for Communicating Transactions —}",
volume = 8412,
year = 2014,
}
Tags: