登入選單
返回Google圖書搜尋
CONCUR '90
其他書名
Theories of Concurrency--unification and Extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
出版Springer-Verlag, 1990
ISBN03875304879780387530482
URLhttp://books.google.com.hk/books?id=bgmoAAAAIAAJ&hl=&source=gbs_api
註釋"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.