Michael Butler Dept. of Computer Science Abo Akademi Lemminkainengatan 14 A ...  Home/Search
Context Related
| ecs.soton.ac.uk/~mjb/pu...A94147.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ecs.soton.ac.uk/~mjb/pu...A94147 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The action system formalism [4] 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 communicate 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. (Update)
Context of citations to this paper: More
...of other components. In a sense, actions provide interaction points as in IP (and are also similar to the actions of Action Systems [3]) # #(#)isthesafety guard of #, i.e. when #(#)isfalse,# cannot be executed. # # (#)istheprogress guard of #, i.e. when # (#) holds, the...
...of other components. In a sense, actions provide interaction points as in IP (and are also similar to the actions of Action Systems [3]) S(a) is the safety guard of a, i.e. when S(a) is false, a cannot be executed. P (a) is the progress guard of a, i.e. when P (a)...
Cited by: More
Foundations Of The B Method - Cansell, Méry (2003) (Correct)
An Approach to the Design of Distributed Systems with B AMN.. - Butler (1996) (Correct)
Fusion and Simultaneous Execution in the Refinement Calculus - Back, Butler (1997) (Correct)
Similar documents (at the sentence level):
24.8%: A CSP Approach To Action Systems - Butler (1992) (Correct)
Active bibliography (related documents): More All
2.1: Stepwise Refinement of Communicating Systems - Michael Butler (1994) (Correct)
0.3: Structuring and Verifying Distributed Algorithms - Sere Walden Abo (Correct)
0.2: Specification, Refinement and Verification of Concurrent - Systems An Integration (2001) (Correct)
Similar documents based on text: More All
0.2: Mechanised Formal Reasoning About Modular Programs - Laibinis (2000) (Correct)
0.2: Coordinating Action Systems - Hedman, Kok, Sere (1997) (Correct)
0.2: Specification of a Program Derivation Editor - Butler, Hedman, Waldén (1994) (Correct)
Related documents from co-citation: More All
11: A Discipline of Programming (context) - Dijkstra - 1976
11: Communicating Sequential Processes (context) - Hoare - 1985
11: Book: Assigning Programs to Meanings (context) - Abrial - 1996
BibTeX entry: (Update)
M. Butler. Stepwise refinement of communicating systems. Technical Report A94-17, Abo Akademi, Finland, 1994. http://citeseer.ist.psu.edu/butler94stepwise.html More
@article{ butler96stepwise,
author = "Michael J. Butler",
title = "Stepwise Refinement of Communicating Systems",
journal = "Science of Computer Programming",
volume = "27",
number = "2",
pages = "139-173",
year = "1996",
url = "citeseer.ist.psu.edu/butler94stepwise.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
689 Systematic Software Development using VDM - Jones - 1986
616 Notation - A Reference Manual (context) - Spivey - 1989
293 Programming from Specifications (context) - Morgan - 1990
293 Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
274 The existence of refinement mappings - Abadi, Lamport - 1988
135 A theoretical basis for stepwise refinement and the programm.. (context) - Morris - 1987
126 A timed model for communicating sequential processes (context) - Reed, Roscoe - 1986
99 Correctness Preserving Program Refinements: Proof Theory and.. (context) - Back - 1980
78 Specification and design (context) - Jones - 1983
45 Probabilistic Communicating Processes (context) - Seidel - 1992
44 Data refinement refined (context) - He, Hoare et al. - 1986
37 Refinement of state-based concurrent systems (context) - Woodcock, Morgan - 1990
34 Of wp and CSP (context) - Morgan - 1990
34 The specification statement (context) - Morgan - 1988
32 Unbounded Nondeterminism in CSP (context) - Roscoe - 1988
32 Unbounded Nondeterminism in CSP (context) - Roscoe, Barrett - 1989
30 Programming in occam (context) - Jones, Goldsmith - 1988
28 Towards a design calculus for communicating programs (context) - Olderog - 1991
26 Decentralisation of process nets with centralised control (context) - Back, Kurki-Suonio - 1983
23 Programming Research Group - Morgan, Robinson et al. - 1988
21 A CSP Approach To Action Systems - Butler - 1992
18 On decomposing and refining specifications of distributed sy.. (context) - Jonsson - 1990
14 Multivalued possibilities mappings - Lynch - 1990
14 of American Math. Soc. Colloquium Publications. American Mat.. (context) - Ore, Graphs et al. - 1962
11 Process refinement (context) - He - 1989
9 Refinement and Decomposition of Value-Passing Action Systems (context) - Butler - 1993
8 ADA: Language and Methodology (context) - Watt, Wichmann et al. - 1987
7 Deriving an occam implementation of action systems (context) - Back, Sere - 1990
6 Refinement of parallel and reactive programs (context) - Back - 1992
3 A state-based approach to communicating sequential processes (context) - Josephs - 1988
2 To appear in Formal Aspects of Computing (context) - Butler, Morgan et al. - 1994
1 the design of reactive systems (context) - Kurki-Suonio, Kankaanpaa - 1988
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC