The following pages link to ReSpecT (Q55946):
Displaying 4 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Process-algebraic approaches for multi-agent systems: an overview (Q814895) (← links)
