Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science) - Softcover

Baeten, J. C. M.

 
9780387530482: Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9783540530480: CONCUR '90: Theories of Concurrency: Unification and Extension (Lecture Notes in Computer Science, 458, Band 458)

Vorgestellte Ausgabe

ISBN 10:  3540530487 ISBN 13:  9783540530480
Verlag: Springer, 2008
Softcover