Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Cau, A. (Antonio)
dc.contributor.author Collette, Pierre
dc.date.accessioned 2005-07-13T17:40:17Z
dc.date.available 2005-07-13T17:40:17Z
dc.date.issued 1996
dc.identifier.citation Acta informatica, 33 (2), 1996, pp. 153-176 en
dc.identifier.uri http://hdl.handle.net/2086/26
dc.description.abstract We unify the parallel composition rule of assumption-commitment specifications for respectively state-based and message-based concurrent processes. Without providing language-dependent definitions, we first assume that the model of a process can be given as a set of 'sequences' (e.g., traces, state sequences). Then we assume the existence of a merging operator that captures the compositionality of that model. On this basis, we formulate a semantic parallel composition rule for assumption-commitment specifications wherein the merging operator behaves as a parameter. Then, by providing suitable language-specific definitions for the model of a process and the merging operator, we transform the semantic rule into syntactic ones, both for the state-based and message-based approaches to concurrency. en
dc.description.sponsorship Antonio Cau partially supported by ESPRIT Project 6021 (REACT). Pierre Collette supported by National Fund for Scientific Research (Belgium) en
dc.format.extent 236528 bytes
dc.format.extent 422925 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.publisher Springer en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1996-2 en
dc.subject ESPRIT 6021 REACT
dc.subject National Fund for Scientific Research Belgium
dc.subject parallel programming
dc.subject concurrent programming
dc.title Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1007/s002360050039
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record