108 citations
- University of PaduaIT6 papers
- Istituto Nazionale di Fisica Nucleare, Galileo Galilei Institute for Theoretical PhysicsIT4 papers
- Sapienza University of RomeIT4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Osservatorio Astronomico di PadovaIT3 papers
- University of FlorenceIT3 papers
- Astronomical Institute of the Slovak Academy of SciencesSK2 papers
- Australian National UniversityAU2 papers
- École PolytechniqueFR2 papers
- IMT School for Advanced Studies LuccaIT2 papers
- Aix-Marseille UniversitéFR1 paper
- Astrobiology CenterJP1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 19 cited
A Concurrent Pattern Calculus
Thomas Given-Wilson, Daniele Gorla, Barry Jay
Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pa…
cs.LO2006
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
The Software Transactional Memory (STM) model is an original approach for controlling concurrent accesses to ressources without the need for explicit lock-based synchronization mec…