The following pages link to (Q4858578):
Displaying 6 items.
- A model of context-dependent component connectors (Q436387) (← links)
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- An equational modeling of asynchronous concurrent programming (Q2037432) (← links)
- A tuple channel-based coordination model for parallel and distributed programming (Q2384932) (← links)
- (Q4499206) (← links)
- Foundations of Software Science and Computation Structures (Q5899079) (← links)