The following pages link to (Q3956374):
Displayed 7 items.
- SAT-based verification for timed component connectors (Q433331) (← links)
- Calculi for synchrony and asynchrony (Q1050111) (← links)
- Enriched categorical semantics for distributed calculi (Q1208210) (← links)
- Discrete time generative-reactive probabilistic processes with different advancing speeds (Q1853593) (← links)
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes (Q4606700) (← links)
- An algebraic framework for developing and maintaining real-time systems (Q5096395) (← links)
- On continuous time agents (Q6116583) (← links)