Pages that link to "Item:Q6044116"
From MaRDI portal
The following pages link to An algebraic theory of multiple clocks (Q6044116):
Displaying 7 items.
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Divergence detection for CCSL specification via clock causality chain (Q1660763) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- A note on parallel and alternating time (Q2465291) (← links)
- (Q4787220) (← links)
- (Q5856402) (← links)