vix.ing · top · new · best · stats · spec

Michele Boreale

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