ReSpecT

swMATH40246MaRDI QIDQ55946FDOQ55946

Author name not available (Why is that?)

Described by source

• From tuple spaces to tuple centres

Cited In (11)

• On the expressiveness of multiplicities in data-based coordination languages
• Twenty years of rewriting logic
• The ARC programming model -- language constructs for coordination
• 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
• Formal \textsf{ReSpecT}
• simpA: an agent-oriented approach for programming concurrent applications on top of Java
• Comparing three coordination models: Reo, ARC, and PBRD
• Coordinating asynchronous and open distributed systems under semiring-based timing constraints
• Process-algebraic approaches for multi-agent systems: an overview

This page was built for software: ReSpecT