Skip to content

A Concurrent Calculus with Atomic Transactions.

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

VenueAESOP
Year2007
ProceedingsESOP

Browse the full ESOP paper archive.