Pages that link to "Item:Q706509"
From MaRDI portal
The following pages link to Compositional action system refinement (Q706509):
Displaying 10 items.
- Modular verification of multithreaded programs (Q557795) (← links)
- Games and winning strategies (Q674272) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Program inversion in the refinement calculus (Q750160) (← links)
- Coordinating action systems (Q1592481) (← links)
- Hybrid action systems (Q1853618) (← links)
- Superposition: Composition vs refinement of non-deterministic, action-based systems (Q1882783) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Action refinement and property inheritance in systems of sequential agents (Q6162110) (← links)