Semantics for Concurrency
Subtitle: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT , 23-25 July 1990, University of Leicester, UK
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9781447138600