Maria Grazia Buscemi, Ugo Montanari
Open Bisimulation for the Concurrent Constraint π-Calculus
ESOP, 2008.
@inproceedings{ESOP-2008-BuscemiM, author = "Maria Grazia Buscemi and Ugo Montanari", booktitle = "{Proceedings of the 17th European Symposium on Programming}", doi = "10.1007/978-3-540-78739-6_20", editor = "Sophia Drossopoulou", isbn = "978-3-540-78738-9", pages = "254--268", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Open Bisimulation for the Concurrent Constraint π-Calculus}", volume = 4960, year = 2008, }