Pages that link to "Item:Q1192604"
From MaRDI portal
The following pages link to Temporal theories as modularisation units for concurrent system specification (Q1192604):
Displayed 4 items.
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- A Tableaux System for Deontic Action Logic (Q3522041) (← links)
- Mirror, mirror in my hand: a duality between specifications and models of process behaviour (Q4715670) (← links)