CONCUR '90

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.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA