Pages that link to "Item:Q2450935"
From MaRDI portal
The following pages link to Interconnections between classes of sequentially compositional temporal formulas (Q2450935):
Displaying 4 items.
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Admissible generalisation of temporal sequences as chronicles (Q6060998) (← links)