Luis Fernando Pino Duque
Luis Fernando Pino Duque
Software Engineer, Google
Geverifieerd e-mailadres voor lix.polytechnique.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Deriving labels and bisimilarity for concurrent constraint programming
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
International Conference on Foundations of Software Science and …, 2011
332011
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
142012
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
72015
Reducing Weak to Strong Bisimilarity in CCP
A Aristizábal, F Bonchi, L Pino, F Valencia
arXiv preprint arXiv:1212.3874, 2012
72012
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
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
32017
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
32014
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
2014
Analysis of the reachability problem in fragments of the Pi-calculus
L Pino
2010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–11