Deriving Labels and Bisimilarity for Concurrent Constraint Programming. - Andrés Aristizábal; Filippo Bonchi; Catuscia Palamidessi; Luis Fernando Pino; Frank D. Valencia (FoSSaCS, 2011)

Partition refinement for bisimilarity in CCP. - Andrés Aristizábal; Filippo Bonchi; Frank D. Valencia; Luis Fernando Pino (SAC, 2012)

Reducing Weak to Strong Bisimilarity in CCP - Andrés Aristizábal; Filippo Bonchi; Luis Fernando Pino; Frank Valencia (ICE, 2012)

Efficient computation of program equivalence for confluent concurrent constraint programming. - Luis Fernando Pino; Filippo Bonchi; Frank D. Valencia (PPDP, 2013)

A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. - Luis Fernando Pino; Filippo Bonchi; Frank D. Valencia (ICTAC, 2014)

Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming. (Vérification Efficace Et Nouvelles Techniques De Raisonnement Pour La Programmation Concurrente Par Contraintes). - Luis Fernando Pino Duque (2014)

A Labelled Semantics for Soft Concurrent Constraint Programming. - Fabio Gadducci; Francesco Santini 001; Luis Fernando Pino; Frank D. Valencia (COORDINATION, 2015)

Efficient algorithms for program equivalence for confluent concurrent constraint programming. - Luis Fernando Pino; Filippo Bonchi; Frank D. Valencia (Sci. Comput. Program., 2015)

Weak CCP bisimilarity with strong procedures. - Luis Fernando Pino; Andrés A. Aristizábal P.; Filippo Bonchi; Frank D. Valencia (Sci. Comput. Program., 2015)

Observational and behavioural equivalences for soft concurrent constraint programming. - Fabio Gadducci; Francesco Santini 001; Luis Fernando Pino; Frank D. Valencia (J. Log. Algebraic Methods Program., 2017)