The following pages link to (Q5690304):
Displaying 8 items.
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- Model checking concurrency and causality (Q1662535) (← links)
- A formal model of concurrent systems based on bipartite directed acyclic graph (Q2492233) (← links)
- Studying Operational Models of Relaxed Concurrency (Q2830038) (← links)
- (Q3204035) (← links)
- (Q4027626) (← links)
- (Q4665739) (← links)
- On the complexity of verifying concurrent transition systems (Q6044122) (← links)