Pages that link to "Item:Q1293890"
From MaRDI portal
The following pages link to A formal definition of time in LOTOS (Q1293890):
Displaying 7 items.
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- TIC: a tImed calculus (Q1261314) (← links)
- TTL: A modular language for hardware/software systems design. (Q1400574) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- A definition of time (Q2390888) (← links)
- Multimedia in the E-LOTOS process algebra (Q2906952) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)