Reoservice

MaRDI QIDQ20577swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-540-74974-5_60

Cited in

(7)

• Connector rewriting with high-level replacement systems
• Symbolic execution of Reo circuits using constraint automata
• Comparing three coordination models: Reo, ARC, and PBRD
• Reo
• 2APL
• Viptos
• ReSpecT

This page was built for software: Reoservice