Show simple item record

dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorCollette, Pierre
dc.date.accessioned2005-07-13T17:40:17Z
dc.date.available2005-07-13T17:40:17Z
dc.date.issued1996
dc.identifier.citationActa informatica, 33 (2), 1996, pp. 153-176en
dc.identifier.urihttp://hdl.handle.net/2086/26
dc.description.abstractWe 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.sponsorshipAntonio Cau partially supported by ESPRIT Project 6021 (REACT). Pierre Collette supported by National Fund for Scientific Research (Belgium)en
dc.format.extent236528 bytes
dc.format.extent422925 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1996-2en
dc.subjectESPRIT 6021 REACT
dc.subjectNational Fund for Scientific Research Belgium
dc.subjectparallel programming
dc.subjectconcurrent programming
dc.titleParallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrencyen
dc.typeArticleen
dc.identifier.doihttp://dx.doi.org/10.1007/s002360050039
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record