Compositional action system refinement
From MaRDI portal
Publication:706509
DOI10.1007/s00165-003-0005-6zbMath1093.68007OpenAlexW2030331955MaRDI QIDQ706509
Publication date: 8 February 2005
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-003-0005-6
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ Games and winning strategies ⋮ Modular verification of multithreaded programs ⋮ Derivation of concurrent programs by stepwise scheduling of Event-B models ⋮ Program inversion in the refinement calculus ⋮ Coordinating action systems ⋮ Hybrid action systems ⋮ Laws of mission-based programming
This page was built for publication: Compositional action system refinement
