Travelled to:1 × Germany
1 × Italy
Collaborated with:F.Bonchi F.D.Valencia L.F.Pino C.Palamidessi
Talks about:bisimilar (2) constraint (1) program (1) concurr (1) partit (1) refin (1) label (1) deriv (1) ccp (1)
Person: Andrés Aristizábal
DBLP: Aristiz=aacute=bal:Andr=eacute=s
Contributed to:
2012
2011Wrote 2 papers:
- 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.