Travelled to:1 × Germany
1 × Italy
1 × Spain
Collaborated with:F.Bonchi F.D.Valencia A.Aristizábal C.Palamidessi
Talks about:program (3) constraint (2) bisimilar (2) concurr (2) confluent (1) equival (1) partit (1) effici (1) comput (1) refin (1)
Person: Luis Fernando Pino
DBLP: Pino:Luis_Fernando
Contributed to:
2013
2012
2011Wrote 3 papers:
- PPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming
- Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
- SAC-2012-AristizabalBVP #refinement #similarity
- Partition refinement for bisimilarity in CCP (AA, FB, FDV, LFP), pp. 88–93.
- FoSSaCS-2011-AristizabalBPPV #concurrent #constraints #programming #similarity
- Deriving Labels and Bisimilarity for Concurrent Constraint Programming (AA, FB, CP, LFP, FDV), pp. 138–152.