Concur 90
Subtitle: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science)
Contributors: Jan Willem Klop (Editor)
Publisher: Springer; Springer-Verlag
Published: December 1990
Language: eng
Format: Paperback
Number of pages: 537
ISBN-13: 9780387530482
Subjects: Computer Science; Logic; Computer Logic; Multi-Tasking (Data Processing); Mathematics; Congresses; Machine theory; Parallel processing (Electroni; Parallel processing (Electronic computers); Science/Mathematics
Description: "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.