Trace Refinement of Action Systems

@inproceedings{Back1994TraceRO,
  title={Trace Refinement of Action Systems},
  author={R. Back and J. V. Wright},
  booktitle={CONCUR},
  year={1994}
}
  • R. Back, J. V. Wright
  • Published in CONCUR 1994
  • Computer Science
  • Action systems provide a general description of reactive systems, capable of modeling terminating, aborting and infinitely repeating systems. [...] Key Method We give a simulation based proof rule for action system refinement in a reactive context, and illustrate the use of this rule with an example. The proof rule is complete under certain restrictions.Expand Abstract
    181 Citations
    Model checking action system refinements
    • 1
    Compositional Action System Refinement
    • 23
    Probabilistic Action System Trace Semantics
    • 1
    • Highly Influenced
    Simulation Machines for Checking Action System Refinements
    • 1
    • PDF
    On Designing for Modularity
    • 1
    Continuous Action System Refinement
    • 14
    • Highly Influenced
    Refinement and Continuous Behaviour
    • 11
    From Action Systems to Modular Systems
    • 92
    • PDF

    References

    SHOWING 1-10 OF 20 REFERENCES
    Refinement and Decomposition of Value-Passing Action Systems
    • M. Butler
    • Computer Science, Mathematics
    • CONCUR
    • 1993
    • 17
    Refinement Calculus, Part II: Parallel and Reactive Programs
    • R. Back
    • Computer Science
    • REX Workshop
    • 1989
    • 279
    Distributed cooperation with action systems
    • 308
    A Method for Refining Atomicity in Parallel Algorithms
    • 84
    Refinement Calculus, Part I: Sequential Nondeterministic Programs
    • 177
    The temporal logic of actions
    • 2,102
    • PDF
    Simulations Between Specifications of Distributed Systems
    • 72
    Decentralization of process nets with centralized control
    • 200
    Stepwise Refinement of Action Systems
    • 208
    The existence of refinement mappings
    • M. Abadi, L. Lamport
    • Mathematics, Computer Science
    • [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science
    • 1988
    • 575
    • PDF