Pages that link to "Item:Q2842576"
From MaRDI portal
The following pages link to Prefix and Projection onto State in Duration Calculus (Q2842576):
Displaying 4 items.
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
