An Explanatory Presentation of Composition Rules for Assumption-commitment Specifications

DIAL.pr - BOREAL

Primary tabs

Authors	:	Collette, P.
Document type	:	Article de périodique (Journal article) – Article de recherche
Abstract	:	This paper presents composition rules for assumption-commitment specifications that handle liveness commitments and do not rely on a complete definition for realizability. It is based on previous work by Abadi, Lamport, and Plotkin.
Access type	:	Accès restreint
Publication date	:	1994
Language	:	Anglais
Journal information	:	"Information Processing Letters" - Vol. 50, no. 1, p. 31-35 (1994)
Peer reviewed	:	yes
Publisher	:	Elsevier Science Bv (Amsterdam)
issn	:	0020-0190
e-issn	:	1872-6119
Affiliation	:	UCL
Keywords	:	CONCURRENCY ; COMPOSITIONAL METHODS ; ASSUMPTION-COMMITMENT SPECIFICATIONS
Links	:	[DOI]https://doi.org/10.1016/0020-0190(94)90041-8 [Handle]http://hdl.handle.net/2078.1/48720

Bibliographic reference	Collette, P.. An Explanatory Presentation of Composition Rules for Assumption-commitment Specifications. In: Information Processing Letters, Vol. 50, no. 1, p. 31-35 (1994)
Permanent URL	http://hdl.handle.net/2078.1/48720