Concur 90
Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Concur 90
| Autor | J. C. M. Baeten |
|---|---|
| Editorial | Springer, Springer-Verlag |
| Fecha de publicación | December 1990 |
| Idioma | inglés |
| Páginas | 537 |
| Formato | Paperback |
| ISBN-13 | 9780387530482 |
| ISBN-10 | 0387530487 |
| OCLC | 22347106 |
| LCCN | 90010306 |
| Número de Cutter | B142c |
"This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems."--PUBLISHER'S WEBSITE.