Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (6 chapters)
-
Front Matter
-
Back Matter
About this book
Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
Bibliographic Information
Book Title: Logics for Concurrency
Book Subtitle: Structure versus Automata
Editors: Faron Moller, Graham Birtwistle
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60915-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-60915-5Published: 06 March 1996
eBook ISBN: 978-3-540-49675-5Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 268
Topics: Computer System Implementation, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity