| 书目名称 | Logics and Models of Concurrent Systems | | 编辑 | Krzysztof R. Apt | | 视频video | | | 丛书名称 | NATO ASI Subseries F: | | 图书封面 |  | | 描述 | The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent communication by means of interference through jointly shared variables. Some authors ([Levin & Gries, Lamport & Schneider, Schlichting and Schneider]) stress that both forms of communication can be proof theoretically characterized using interference freedom only, since proofs for both ultimately amount to an invariance proof of a big global assertion [Ashcroft], invariance of whose parts amounts to interference freedom. Yet I feel that the characteristic nature of the cooperation test is still preserved in the analysis of these authors, because in their analysis of CSP the part dealing with interference freedom specializes to maintenance of a global invariant, the expression of which requires per process the introduction of auxiliary variables which are updated in that process only, thus preserving the concept of disjointness (as opposed to sharing), since now all variables from different processe | | 出版日期 | Conference proceedings 1985 | | 关键词 | Invariant; Programm; Systems; algorithms; communicating sequential process; cooperation; distributed syste | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-82453-1 | | isbn_softcover | 978-3-642-82455-5 | | isbn_ebook | 978-3-642-82453-1Series ISSN 0258-1248 | | issn_series | 0258-1248 | | copyright | Springer-Verlag Heidelberg 1985 |
The information of publication is updating
|
|
发表于 2025-3-21 18:23:32
