5 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.PL2018★ 5 cited
Treo: Textual Syntax for Reo Connectors
Kasper Dokter, Farhad Arbab
Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctnes…
cs.PL2015★ 3 cited
Relating BIP and Reo
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab +1
Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express t…