ENGLISH

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

By Jos C. M. Baeten , Rance Cleaveland (auth.) , Sjouke Mauw (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1999
ISBN
978-3-540-66425-3, 978-3-540-48320-5, 3-540-66425-4
DOI
10.1007/3-540-48320-9
Language
english
Format
PDF
Filesize
7 MB (7309524 bytes)
Series
Lecture Notes in Computer Science 1664
Edition
1
Pages
584\585
Time added
2014-01-18 08:00:00
CompilersInterpreters; Programming Techniques; Computer ComLogics and Meanings of Programs; Computation by Ab

Description

This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999. The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions. The papers address all areas of semantics, logics, and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification, refinement, term and graph rewriting, distributed programming, logic constraint programming, typing systems, etc.

Similar books