登入
選單
返回
Google圖書搜尋
CONCUR '90
其他書名
Theories of Concurrency--unification and Extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
出版
Springer-Verlag
, 1990
ISBN
0387530487
9780387530482
URL
http://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.