Deriving Labels and Bisimilarity for Concurrent Constraint Programming

Andrés Felipe Aristizábal-Pachón(University of Cauca), Frank Valencia(Institut national de recherche en sciences et technologies du numérique), Filippo Bonchi(École Normale Supérieure de Lyon), Luís Pino(Exponent (United States)), Catuscia Palamidessi(École Polytechnique)
Lecture notes in computer science
January 1, 2011
Cited by 27


Related Papers