Refinement of fair action systems

DOI10.1007/S002360050116zbMath0898.68027OpenAlexW1998599440MaRDI QIDQ1386406

Qiwen Xu, Ralph-Johan Back

Publication date: 24 May 1998

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050116

zbMATH Keywords

distributed systemsaction system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (5)

Generating non-conspiratorial executions ⋮ The refinement calculus of reactive systems ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ Action systems in incremental and aspect-oriented modeling ⋮ An Algebraic Approach to Refinement with Fair Choice

This page was built for publication: Refinement of fair action systems