Deriving Labels and Bisimilarity for Concurrent Constraint Programming.

Andrs Aristizbal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia

Browse the full FOSSACS paper archive.