93 citations
- École Normale Supérieure de LyonFR27 papers
- Institut national de recherche en sciences et technologies du numériqueFR27 papers
- Centre National de la Recherche ScientifiqueFR14 papers
- Lyon 1 UniversitéFR10 papers
- École PolytechniqueFR4 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR3 papers
- Institut de Recherche sur les Systèmes Atomiques et Moléculaires ComplexesFR3 papers
- Laboratoire de Mathématiques Blaise PascalFR3 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR3 papers
- LIP6FR3 papers
- Université de Picardie Jules VerneFR3 papers
- Université Savoie Mont BlancFR3 papers
Showing 2012 · cs.PLShow all
2 papers · 2 filters
cs.PL2012★ 3 cited
Reducing Weak to Strong Bisimilarity in CCP
Andrés Aristizábal, Filippo Bonchi, Luis Pino +1
Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evo…
cs.PL2012★ 2 cited
Proceedings Fifth Interaction and Concurrency Experience
Marco Carbone, Ivan Lanese, Alexandra Silva +1
This volume contains the proceedings of ICE'12, the 5th Interaction and Concurrency Experience workshop, which was held in Stockholm, Sweden on the 16th of June 2012 as a satellite…