Behavioural Equivalences for Co-operating Transactions (Invited Paper).

Matthew Hennessy

Browse the full CONCUR paper archive.