Pages that link to "Item:Q3975136"
From MaRDI portal
The following pages link to Concurrent nondeterministic processes: Adequacy of structure and behaviour (Q3975136):
Displaying 8 items.
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- An algebra of concurrent non-deterministic processes (Q1179704) (← links)
- (Q3339295) (← links)
- Functional behavior of nondeterministic and concurrent programs (Q3719800) (← links)
- (Q3740249) (← links)
- (Q3783514) (← links)
- Programming Languages and Systems (Q5464035) (← links)
- (Q5748880) (← links)