Concur '98: Concurrency Theory. Lecture Notes in Computer Science, 1466

Davide Sangiorgi & Robert De Simone, Eds.

ISBN 10: 3540648968 / ISBN 13: 9783540648963

Published by Springer, 1998

About this Item

655 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Seller Inventory # ZB378274

Bibliographic Details

• Title: Concur '98: Concurrency Theory. Lecture Notes in Computer Science, 1466
• Publisher: Springer
• Publication Date: 1998
• ISBN 10: 3540648968
• ISBN 13: 9783540648963
• Condition: Good

About this title

Synopsis

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