Author of the publication

Deriving Labels and Bisimilarity for Concurrent Constraint Programming.

, , , , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 138-152. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reducing Weak to Strong Bisimilarity in CCP, , , and . ICE, volume 104 of EPTCS, page 2-16. (2012)Partition refinement for bisimilarity in CCP., , , and . SAC, page 88-93. ACM, (2012)Observational and behavioural equivalences for soft concurrent constraint programming., , , and . J. Log. Algebraic Methods Program., (2017)Deriving Labels and Bisimilarity for Concurrent Constraint Programming., , , , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 138-152. Springer, (2011)A Labelled Semantics for Soft Concurrent Constraint Programming., , , and . COORDINATION, volume 9037 of Lecture Notes in Computer Science, page 133-149. Springer, (2015)Weak CCP bisimilarity with strong procedures., , , and . Sci. Comput. Program., (2015)A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice., , and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 351-368. Springer, (2014)Efficient computation of program equivalence for confluent concurrent constraint programming., , and . PPDP, page 263-274. ACM, (2013)Efficient algorithms for program equivalence for confluent concurrent constraint programming., , and . Sci. Comput. Program., (2015)Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming. (Vérification Efficace Et Nouvelles Techniques De Raisonnement Pour La Programmation Concurrente Par Contraintes).. École Polytechnique, Palaiseau, France, (2014)