662 citations
- Institute for Complex SystemsIT13 papers
- University of FlorenceIT8 papers
- Boston UniversityUS6 papers
- KU LeuvenBE6 papers
- London Institute for Mathematical SciencesGB5 papers
- Sapienza University of RomeIT5 papers
- European Centre for Living TechnologyIT4 papers
- University of TrentoIT4 papers
- Yeshiva UniversityUS4 papers
- Ca' Foscari University of VeniceIT3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Centro Ricerche Enrico FermiIT3 papers
Showing 2014 · cs.PLShow all
2 papers · 2 filters
cs.PL2014★ 11 cited
Towards Reversible Sessions
Francesco Tiezzi, Nobuko Yoshida
In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect o…
cs.PL2014★ 15 cited
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink +1
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of…