CONCUR '90

4.11 - 1251 ratings - Source

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.Automatic verification of finite-state concurrent systems using temporal logic
specification. A CM Trans ... TAV users manual. In Proc. ... In D. Bjoerner, editor,
Formal Description of Programming Concepts II, pages 227-249, Amsterdam,
1983. North-Holland. [Lam86] L. Lamport. The mutual exclusion problem part II -
statement and solutions. ... J.L. Peterson and A. Silberschatz. Operating System
Concepts.

Title

:

CONCUR '90

Author

:

Joseph C.M. Baeten, Jan W. Klop

Publisher

:

Springer - 1990-09-21

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.