Logic for Concurrency and Synchronisation
Publisher: Springer
Published: Oct 03, 2013
Format: paperback
Number of pages: 306
ISBN-13: 9789401740005
Notes: Source title: Logic for Concurrency and Synchronisation (Trends in Logic (18))