Searching for "Stepwise Refinement of Action Systems." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
TUCS Distributed System Development in B
- … stepwise manner within the refinement calculus. We describe how action systems are written in B AMN. We…
- Add To MetaCart
-
Refining Action Systems within B-Tool
- … in a stepwise manner within the refinement calculus. In this paper we show how action systems can…
- Cited by 7 (4 self) – Add To MetaCart
-
Distributed System Development in B
- … stepwise manner within the refinement calculus. We describe how action systems are written in B AMN. We…
- Cited by 16 (11 self) – Add To MetaCart
-
Deriving Distributed Systems using B-Method
- … and distributed systems in a stepwise manner within the refinement calculus. In this paper we show how action…
- Add To MetaCart
-
Superposition Refinement of Reactive Systems
- … refinement of action systems starts with a specification of the intended behavior of the system, given as a…
- Cited by 28 (7 self) – Add To MetaCart
-
Stepwise Refinement of Communicating Systems
- … in the stepwise refinement of action systems [3]. Refinement is based on preservation of total correctness…
- Cited by 17 (6 self) – Add To MetaCart
-
Stepwise Refinement of Reactive Processor Farms
- … with other event-based formalisms like UNITY [7]. The action system approach makes stepwise refinement…
- Cited by 1 (0 self) – Add To MetaCart
-
Refinement and Continuous Behaviour
- …. Back and K. Sere. Stepwise refinement of action systems. Structured Programming,12, pp. 17-30, 1991…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 8.
