The following pages link to Formal ReSpecT (Q4923525):
Displayed 5 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- The ARC Programming Model – Language Constructs for Coordination (Q5179208) (← links)
- Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (Q5179210) (← links)
- Co-argumentation Artifact for Agent Societies (Q5385613) (← links)