Cover Image

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings /

Show other versions (1)

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

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands), Universiteit van Amsterdam, European Strategic Programme of Research and Development in Information Technology
Other Authors: Baeten, J. C. M., Klop, J. W.
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1990]
Series:Lecture notes in computer science ; 458.
Subjects:
Machine theory > Congresses.
Parallel processing (Electronic computers) > Congresses.
langage concurrent.
programme concurrent.
système concurrent.
contrôle concurrence.
système réparti.
concurrence.
Automates mathématiques, Théorie des > Congrès.
Parallélisme (Informatique) > Congrès.
Machine theory.
Parallel processing (Electronic computers)
Concurrente programmering.
Verificatie.
Parallélisme (informatique) > Congrès.
Electronic books.
Conference proceedings.
Congressen (vorm)
Online Access:Connect to the full text of this electronic book
Description
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.
Item Description:"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"--Preface.
Electronic resource.
Physical Description:1 online resource (vii, 536 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references and index.
ISBN:9783540463955 (electronic bk.)
354046395X (electronic bk.)