CONCUR '98 Concurrency Theory
Download or Read eBook CONCUR '98 Concurrency Theory PDF written by Davide Sangiorgi and published by Springer Science & Business Media. This book was released on 1998-08-19 with total page 678 pages. Available in PDF, EPUB and Kindle.
Author | : Davide Sangiorgi |
Publisher | : Springer Science & Business Media |
Total Pages | : 678 |
Release | : 1998-08-19 |
ISBN-10 | : 3540648968 |
ISBN-13 | : 9783540648963 |
Rating | : 4/5 (68 Downloads) |
Book Synopsis CONCUR '98 Concurrency Theory by : Davide Sangiorgi
Book excerpt: 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..