Bisimulations for Communicating Transactions - (Extended Abstract).

Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy

Browse the full FOSSACS paper archive.