Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2154)
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 (38 papers)
-
Front Matter
About this book
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.
Editors and Affiliations
-
Department of Computer Science, BRICS, Aalborg University, Aalborg, Denmark
Kim G. Larsen
-
BRICS, Aarhus University, Aarhus C, Denmark
Mogens Nielsen
Bibliographic Information
Book Title: CONCUR 2001 - Concurrency Theory
Book Subtitle: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Editors: Kim G. Larsen, Mogens Nielsen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-44685-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-42497-0Published: 13 August 2001
eBook ISBN: 978-3-540-44685-9Published: 30 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 589
Topics: Theory of Computation, Computer System Implementation, Algebra, Logics and Meanings of Programs, Computation by Abstract Devices, Programming Languages, Compilers, Interpreters