Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2761)
Conference series link(s): CONCUR: International Conference on Concurrency Theory
Conference proceedings info: CONCUR 2003.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (33 papers)
-
Front Matter
-
Partial Orders and Asynchronous Systems
Keywords
- Bridging
- Erfüllbarkeitsproblem der Aussagenlogik
- Extreme Programming
- Monitor
- algorithm
- concurrency
- coordination
- distributed computing
- formal verification
- hybrid systems
- infinite state systems
- modeling
- petri nets
- process algebra
- verification
Editors and Affiliations
-
Université Paris 7, PPS, Case 7014, Paris Cedex 13, France
Roberto Amadio
-
LIF, CNRS, Aix-Marseille Université, France
Denis Lugiez
Bibliographic Information
Book Title: CONCUR 2003 - Concurrency Theory
Book Subtitle: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Editors: Roberto Amadio, Denis Lugiez
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b11938
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-40753-9Published: 21 August 2003
eBook ISBN: 978-3-540-45187-7Published: 03 December 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 524
Topics: Computer System Implementation, Computer Science Logic and Foundations of Programming, Computer Communication Networks, Programming Techniques, Compilers and Interpreters, Theory of Computation