BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pino:Luis_Fernando

Contributed to:

PPDP 20132013
SAC 20122012
FOSSACS 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.