19 citations · 96 across the 34 of their papers we have counts for
3 papers · 1 filter
Software Transactional Memory with Interactions
Marino Miculan, Marco Peressotti
Software Transactional memory (STM) is an emerging abstraction for concurrent programming alternative to lock-based synchronizations. Most STM models admit only isolated transactio…
Choral: Object-Oriented Choreographic Programming
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
We present Choral, the first choreographic programming language based on mainstream abstractions. The key idea in Choral is a new notion of data type, which allows for expressing t…
A CSP implementation of the directed bigraph embedding problem
Alessio Chiapperini, Marino Miculan, Marco Peressotti
Directed bigraphs are a meta-model which generalises Milner's bigraphs by taking into account the request flow between controls and names. A key problem about these bigraphs is tha…