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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA267 .C5927 1990
 
Call Number Status Get It
QA267 .C5927 1990 Available