CONCUR '90
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 |
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.
