Refinement and decomposition of value-passing action systems Export

@incollection{butler_93_refinement, abstract = {The action system formalism [3] is a state-based approach to distributed computing. In this paper, it is shown how the action system formalism may be used to describe systems that interact with their environment through synchronised value-passing. Definitions and rules are presented for refining and decomposing such action systems into distributed implementations in which internal communication is also based on synchronised value-passing. Specification and refinement is similar to the refinement calculus approach [1, 10, 12]. The theoretical basis for communication and distribution is Hoare's CSP [6]. Use of the refinement and decomposition rules is illustrated by the design of an unordered buffer.}, author = {Butler, Michael}, citeulike-article-id = {2671010}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-57208-2_16}, citeulike-linkout-1 = {http://dx.doi.org/http://dx.doi.org/10.1007/3-540-57208-2_16}, citeulike-linkout-2 = {http://dx.doi.org/10.1007/3-540-57208-2_16}, doi = {10.1007/3-540-57208-2_16}, journal = {CONCUR'93}, keywords = {1993, \_to\_download, refinement}, pages = {217--232}, posted-at = {2008-04-15 02:34:43}, priority = {2}, title = {Refinement and decomposition of value-passing action systems}, url = {http://dx.doi.org/10.1007/3-540-57208-2_16}, year = {1993} }

TY - CHAP ID - butler_93_refinement L3 - citeulike-article-id:2671010 N2 - The action system formalism [3] is a state-based approach to distributed computing. In this paper, it is shown how the action system formalism may be used to describe systems that interact with their environment through synchronised value-passing. Definitions and rules are presented for refining and decomposing such action systems into distributed implementations in which internal communication is also based on synchronised value-passing. Specification and refinement is similar to the refinement calculus approach [1, 10, 12]. The theoretical basis for communication and distribution is Hoare's CSP [6]. Use of the refinement and decomposition rules is illustrated by the design of an unordered buffer. JF - CONCUR'93 EP - 232 TI - Refinement and decomposition of value-passing action systems SP - 217 KW - 1993 KW - _to_download KW - refinement AU - Butler, Michael PY - 1993/// UR - http://dx.doi.org/10.1007/3-540-57208-2_16 ER -