CONCUR '98 Concurrency Theory PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download CONCUR '98 Concurrency Theory PDF full book. Access full book title CONCUR '98 Concurrency Theory by Davide Sangiorgi. Download full books in PDF and EPUB format.

CONCUR '98 Concurrency Theory

Author: Davide Sangiorgi
Publisher: Springer Science & Business Media
ISBN: 9783540648963
Category : Computers
Languages : en
Pages : 678

Get Book

Book Description
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..