| 書目名稱 | Semantics for Concurrency | | 副標(biāo)題 | Proceedings of the I | | 編輯 | Marta Zofia Kwiatkowska,Michael William Shields,Ri | | 視頻video | http://file.papertrans.cn/865/864727/864727.mp4 | | 叢書名稱 | Workshops in Computing | | 圖書封面 |  | | 描述 | The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree- ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise to very elegant, highly abstract and com- positional models, traditionally based on the interleaving abstraction, some argue that the wealth of contribution they have made is partially offset by the difficulty in dealing with topics such as faimess. On the other hand, the non-interleaving approaches, based on causality, although easing problems with fairness and confusion, still lack struc- ture, compositionality, and the elegance of the interleaving counter- parts. Since both these approaches have undoubtedly provided important contributions towards understanding of concurrent systems, one should concentrate on what they have in common, rather than the way they differ. The Intemational Workshop on Semantics for Concurrency held at the University of Leicester on 23-25 July 1990 was organised to help overcome this problem. Its main objective was not to be divisive, but rather to encourage | | 出版日期 | Conference proceedings 1990 | | 關(guān)鍵詞 | algorithms; data structures; modeling; petri nets; semantics | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3860-0 | | isbn_softcover | 978-3-540-19625-9 | | isbn_ebook | 978-1-4471-3860-0Series ISSN 1431-1682 | | issn_series | 1431-1682 | | copyright | Springer-Verlag Berlin Heidelberg 1990 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-2-1 11:39
發(fā)表于 2025-3-21 17:12:54
