Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Trends in Logic (TREN, volume 18)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (7 chapters)
-
From a Descriptive Perspective
Editors and Affiliations
Bibliographic Information
Book Title: Logic for Concurrency and Synchronisation
Editors: Ruy J. G. B. Queiroz
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/0-306-48088-3
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2003
Hardcover ISBN: 978-1-4020-1270-9Published: 31 May 2003
Softcover ISBN: 978-94-017-4000-5Published: 03 October 2013
eBook ISBN: 978-0-306-48088-1Published: 11 April 2006
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: XXI, 285
Topics: Mathematical Logic and Foundations, Computer System Implementation, Theory of Computation, Logic