ReSpecT
From MaRDI portal
Software:55946
swMATH40246MaRDI QIDQ55946FDOQ55946
Author name not available (Why is that?)
Cited In (11)
- On the expressiveness of multiplicities in data-based coordination languages
- Twenty years of rewriting logic
- Formal ReSpecT
- From distributed coordination to field calculus and aggregate computing
- Symbolic execution of Reo circuits using constraint automata
- On the collective sort problem for distributed tuple spaces
- Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- The ARC Programming Model – Language Constructs for Coordination
- Comparing three coordination models: Reo, ARC, and PBRD
- Process-algebraic approaches for multi-agent systems: an overview
This page was built for software: ReSpecT