Acciai, Lucia
- A Concurrent Calculus with Atomic Transactions
2006/10/24 by Lucia Acciai, Acciai, Lucia, Boreale, Michele +2 · 1 citation
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Petri Nets in System Modeling