𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Refinement of fair action systems

✍ Scribed by Ralph J.R. Back; Qiwen Xu

Publisher
Springer-Verlag
Year
1998
Tongue
English
Weight
243 KB
Volume
35
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Fairness of Actions in System Computatio
Fairness of Actions in System Computations
✍ F. Corradini; M. R. Di Berardini; W. Vogler πŸ“‚ Article πŸ“… 2006 πŸ› Springer-Verlag 🌐 English βš– 862 KB
Completeness of fair ASM refinement
Completeness of fair ASM refinement
✍ Gerhard Schellhorn πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 321 KB

ASM refinements are verified using generalized forward simulations which allow us to refine m abstract operations to n concrete operations with arbitrary m and n. One main difference from data refinement is that ASM refinement considers infinite runs and termination. Since backward simulation does n