CURRENTLY SOLD OUT

Logic for Concurrency and Synchronisation by Kluwer Academic Publishers (Hardback, 2003)