19 citations · 92 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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.PL2018★ 1 cited
Connectors meet Choreographies
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans +1
We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Progra…