Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1466)
Included in the following conference series:
Conference proceedings info: CONCUR 1998.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..
Similar content being viewed by others
Table of contents (41 papers)
-
Front Matter
Other volumes
-
CONCUR '98 Concurrency Theory
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic Information
Book Title: CONCUR '98 Concurrency Theory
Book Subtitle: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Editors: Davide Sangiorgi, Robert Simone
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0055611
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-64896-3Published: 19 August 1998
eBook ISBN: 978-3-540-68455-8Published: 30 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 663
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Computation by Abstract Devices, Programming Techniques, Computer Communication Networks