Overview
Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(6 chapters)
About this book
Authors and Affiliations
-
Department of Computer Science and Systems, McMaster University, Hamilton, Canada
Ryszard Janicki, Peter E. Lauer
Bibliographic Information
Book Title: Specification and Analysis of Concurrent Systems
Book Subtitle: The COSY Approach
Authors: Ryszard Janicki, Peter E. Lauer
Series Title: Monographs in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-642-77337-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1992
Softcover ISBN: 978-3-642-77339-6Published: 29 December 2011
eBook ISBN: 978-3-642-77337-2Published: 06 December 2012
Series ISSN: 1431-2654
Series E-ISSN: 2193-2069
Edition Number: 1
Number of Pages: XII, 480
Topics: Computation by Abstract Devices, Logics and Meanings of Programs, Programming Techniques, Software Engineering, Operating Systems, Computer Communication Networks