The following pages link to (Q3030242):
Displaying 3 items.
- Correctness of concurrent processes (Q1176236) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- Transformations of sequential specifications into concurrent specifications by synchronization guards (Q2638794) (← links)