Reoservice

swMATH8568MaRDI QIDQ20577FDOQ20577

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: Reoservice