CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
Subjects: | Computer science., Computer programming., Programming languages (Electronic computers)., Computers., Computer logic., Mathematics., Computer Science., Computation by Abstract Devices., Theory of Computation., Mathematics, general., Programming Techniques., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/BFb0039045 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|