Orchestrating Transactions in Join Calculus.

Roberto Bruni, Cosimo Laneve, Ugo Montanari

Browse the full CONCUR paper archive.