Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3170)
Conference series link(s): CONCUR: International Conference on Concurrency Theory
Conference proceedings info: CONCUR 2004.
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
-
Accepted Papers
Keywords
- Algorithms
- algorithm
- concurrency
- distributed programming
- logic
- logic programming
- model checking
- petri net
- programming
- real-time
- verification
Editors and Affiliations
-
Department of Computing, Imperial College London, London, UK
Philippa Gardner
-
Department of Computing, Imperial College, London, UK
Nobuko Yoshida
Bibliographic Information
Book Title: CONCUR 2004 -- Concurrency Theory
Book Subtitle: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
Editors: Philippa Gardner, Nobuko Yoshida
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b100113
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-22940-7Published: 19 August 2004
eBook ISBN: 978-3-540-28644-8Published: 22 March 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 534
Topics: Computer System Implementation, Computer Science Logic and Foundations of Programming, Theory of Computation, Compilers and Interpreters, Programming Techniques, Computer Communication Networks