The following pages link to A thesis for bounded concurrency (Q3975134):
Displaying 7 items.
- Bounded-wait merge in Shapiro's concurrent Prolog (Q1079007) (← links)
- Complexity results for two-way and multi-pebble automata and their logics (Q1349896) (← links)
- On the structural simplicity of machines and languages (Q1924785) (← links)
- Boundedness analysis of finitely recursive processes. I. Concurrent processes (Q4506578) (← links)
- Complexity results for multi-pebble automata and their logics (Q4632417) (← links)
- Bounded concurrency (Q5055935) (← links)
- On the complexity of verifying concurrent transition systems (Q6044122) (← links)