ENGLISH

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

By Moshe Y. Vardi (auth.) , Davide Sangiorgi , Robert de Simone (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
ISBN
3540648968, 9783540648963
DOI
10.1007/BFb0055611
Open Library ID
OL9467641M
Language
english
Format
PDF
Filesize
7 MB (7834755 bytes)
Series
Lecture Notes in Computer Science 1466
Edition
1
Pages
663\666
Topic
Computers
Library
Kolxo3
Time added
2009-12-04 00:34:26
CompilersInterpreters; Programming Techniques; Computer ComLogics and Meanings of Programs; Computation by Ab

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

Similar books