swMATH40246MaRDI QIDQ55946FDOQ55946
Author name not available (Why is that?)
Official website: https://apice.unibo.it/xwiki/bin/view/ReSpecT/
Cited In (41)
- 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
- simpA
- Moise+
- Reo
- 2APL
- 2OBJ
- PAGODA
- Reoservice
- KLAIM
- LIME
- Linda
- WADE
- K-Maude
- CARIBOO
- Viptos
- CArtAgO
- Jadex
- SDEF
- vlogsl
- ISLANDER
- SCEL
- Society Visualiser
- Formal \textsf{ReSpecT}
- SymPLFIED
- Helena
- LPaaS
- KOOL
- DEECO
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- 2P-Kt
- tuProlog
- TuCSoN
- TuSoW
- 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
