✦ LIBER ✦

Compositional Action System Refinement

✍ Scribed by R. J. R. Back; J. von Wright

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Superposition: Composition vs Refinement

✍ Antónia Lopes; José Luiz Fiadeiro 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 711 KB

Superposition: composition vs refinement

✍ Antónia Lopes; José Luiz Fiadeiro 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 265 KB

Refinement of fair action systems

✍ Ralph J.R. Back; Qiwen Xu 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 243 KB

Model checking action system refinements

✍ Graeme Smith; Kirsten Winter 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 691 KB

Compositional refinement in agent-based

✍ A. K. McIver; C. C. Morgan 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 815 KB

Refinement of actions and equivalence no

✍ Rob van Glabbeek; Ursula Goltz 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 739 KB