Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Paperback) (ISBN-13: 9783540648963)
Vendor:
Davide Sangiorgi
Product type:
Books
- $109.99
$109.99- $109.99
- Unit price
- per
Subtotal:
$109.99
Description
xThis 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..
Author: Davide Sangiorgi
ISBN-10: 3540648968
ISBN-13: 9783540648963
Publisher: Springer
Language: English
Published: 08/19/1998
Pages: 663
Format: Paperback
Weight: 2.05lbs
Size: 9.21h x 6.14w x 1.36d
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..
Author: Davide Sangiorgi
ISBN-10: 3540648968
ISBN-13: 9783540648963
Publisher: Springer
Language: English
Published: 08/19/1998
Pages: 663
Format: Paperback
Weight: 2.05lbs
Size: 9.21h x 6.14w x 1.36d
Recently Viewed Products
- Choosing a selection results in a full page refresh.