The following pages link to ReSpecT (Q55946):
Displaying 11 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)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
- From distributed coordination to field calculus and aggregate computing (Q2011213) (← links)
- On the collective sort problem for distributed tuple spaces (Q2389341) (← links)
- Formal ReSpecT (Q4923525) (← links)
- The ARC Programming Model – Language Constructs for Coordination (Q5179208) (← links)
- Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (Q5179210) (← links)
