Luis Fernando Pino

According to our database, Luis Fernando Pino authored at least 10 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Observational and behavioural equivalences for soft concurrent constraint programming.

Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia

J. Log. Algebraic Methods Program., 2017

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

Efficient algorithms for program equivalence for confluent concurrent constraint programming.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Sci. Comput. Program., 2015

A Labelled Semantics for Soft Concurrent Constraint Programming.

Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia

Proceedings of the Coordination Models and Languages, 2015

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

PhD thesis, 2014

A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Efficient computation of program equivalence for confluent concurrent constraint programming.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Reducing Weak to Strong Bisimilarity in CCP

Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Partition refinement for bisimilarity in CCP.

Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Deriving Labels and Bisimilarity for Concurrent Constraint Programming.

Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia

Proceedings of the Foundations of Software Science and Computational Structures, 2011