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, c1990.

Details

Additional Authors
  • Baeten, J. C. M.
  • Klop, J. W.
  • Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
  • Universiteit van Amsterdam.
  • European Strategic Programme of Research and Development in Information Technology.
Description
vii, 536 p. : ill.; 25 cm.
Series Statement
Lecture notes in computer science ; 458
Subject
  • Machine theory > Congresses
  • Parallel processing (Electronic computers) > Congresses
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.
  • Includes index.
Bibliography (note)
  • Includes bibliographical references.
Call Number
JSF 90-964
ISBN
  • 3540530487 (Springer-Verlag Berlin Heidelberg New York)
  • 9783540530480 (Springer-Verlag Berlin Heidelberg New York)
  • 0387530487 (Springer-Verlag New York Berlin Heidelberg)
  • 9780387530482 (Springer-Verlag New York Berlin Heidelberg)
LCCN
90010306
OCLC
140829437
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.
Imprint
Berlin ; New York : Springer-Verlag, c1990.
Series
Lecture notes in computer science ; 458
Bibliography
Includes bibliographical references.
Added Author
Baeten, J. C. M.
Klop, J. W.
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Universiteit van Amsterdam.
European Strategic Programme of Research and Development in Information Technology.
Research Call Number
JSF 90-964
View in Legacy Catalog