Concur 90
2.1 hrs read
Rate this book:
About This Book
"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."--PUBLISHER'S WEBSITE.
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
More by J. C. M. Baeten
Applications of process algebra
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
CONCOUR9 9, concurrency theory
Concur <<'>>91
Concur 91: 2nd International C
Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991
Filters and ultrafilters over
Filters and ultrafilters over definable subsets of admissible ordinals