Follow
Luis Fernando Pino Duque
Luis Fernando Pino Duque
Software Engineer @ Engflow
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
Deriving labels and bisimilarity for concurrent constraint programming
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
Foundations of Software Science and Computational Structures: 14th …, 2011
362011
Partition refinement for bisimilarity in ccp
A Aristizabal, F Bonchi, FD Valencia, LF Pino
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 88-93, 2012
152012
Observational and behavioural equivalences for soft concurrent constraint programming
F Gadducci, F Santini, LF Pino, FD Valencia
Journal of Logical and Algebraic Methods in Programming 92, 45-63, 2017
102017
A labelled semantics for soft concurrent constraint programming
F Gadducci, F Santini, LF Pino, FD Valencia
International Conference on Coordination Languages and Models, 133-149, 2015
102015
Reducing weak to strong bisimilarity in ccp
A Aristizábal, F Bonchi, L Pino, F Valencia
arXiv preprint arXiv:1212.3874, 2012
72012
A behavioral congruence for concurrent constraint programming with nondeterministic choice
LF Pino, F Bonchi, FD Valencia
International Colloquium on Theoretical Aspects of Computing, 351-368, 2014
42014
Efficient computation of program equivalence for confluent concurrent constraint programming
LF Pino, F Bonchi, FD Valencia
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
42013
Weak CCP bisimilarity with strong procedures
LF Pino, A Aristizabal, F Bonchi, F Valencia
Science of Computer Programming 100, 84-104, 2015
22015
Efficient algorithms for program equivalence for confluent concurrent constraint programming
LF Pino, F Bonchi, F Valencia
Science of Computer Programming 111, 135-155, 2015
12015
Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
LFP Duque
Ecole Polytechnique, 2014
2014
Analysis of the reachability problem in fragments of the Pi-calculus
L Pino
2010
The system can't perform the operation now. Try again later.
Articles 1–11