Research Catalog
CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
- Title
- CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.
- Publication
- Berlin ; New York : Springer-Verlag, ©1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA267 .C5927 1990 | Off-site |
Details
- Additional Authors
- Description
- vii, 536 pages : illustrations; 25 cm.
- Summary
- "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
- Series Statement
- Lecture notes in computer science ; 458
- Uniform Title
- Lecture notes in computer science ; 458.
- Subject
- Genre/Form
- Conference papers and proceedings
- Note
- "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started on September 1, 1989 ... The conference CONCUR '90, hosted by CWI with the help of the University of Amsterdam, marks the end of the first year of CONCUR"--Pref.
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 3540530487
- 9783540530480
- 0387530487
- 9780387530482
- LCCN
- 90010306
- OCLC
- ocm22347106
- 22347106
- SCSB-9176152
- Owning Institutions
- Princeton University Library