The following pages link to (Q3814777):
Displaying 7 items.
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- Operational semantics of a kernel of the language ELECTRE (Q1193858) (← links)
- Real-time semantics for shared-variable concurrency (Q1207949) (← links)
- Proving properties of real-time semaphores (Q1893540) (← links)
- (Q4473725) (← links)
- (Q4537133) (← links)
- Programming Languages and Systems (Q5902368) (← links)