cJoin: Join with communicating transactions

TitlecJoin: Join with communicating transactions
Publication TypeJournal Article
Year of Publication2015
AuthorsBruni, R, Melgratti, HC, Montanari, U
JournalMathematical Structures in Computer Science
Volume25
Pagination566–618
URLhttp://dx.doi.org/10.1017/S0960129512000928
DOI10.1017/S0960129512000928
Work Package: 
WP5