Deriving Labels and Bisimilarity for Concurrent Constraint Programming (2011)

by A Aristizábal, F Bonchi, C Palamidessi, L F Pino, F D Valencia
Venue:In 14th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2011), volume 6604 of Lecture Notes in Computer Science