Lecture Notes in Computer Science: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings

Sangiorgi, Davide; Simone, Robert de

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

Details

Published by: Springer

Publication Date: 1998-08-19

Format: Paperback

ISBN-13: 9783540648963

DOI: 10.1007/BFb0055611

Dimensions: 235cm x155cm

Pages: 663