19 citations · 92 across the 16 of their papers we have counts for
7 papers · 1 filter
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…
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…
Data optimizations for constraint automata
Sung-Shik T. Q. Jongmans, Farhad Arbab
Constraint automata (CA) constitute a coordination model based on finite automata on infinite words. Originally introduced for modeling of coordinators, an interesting new applicat…
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…
Toward Sequentializing Overparallelized Protocol Code
Sung-Shik T. Q. Jongmans, Farhad Arbab
In our ongoing work, we use constraint automata to compile protocol specifications expressed as Reo connectors into efficient executable code, e.g., in C. We have by now studied th…
Modularizing and Specifying Protocols among Threads
Sung-Shik T. Q. Jongmans, Farhad Arbab
We identify three problems with current techniques for implementing protocols among threads, which complicate and impair the scalability of multicore software development: implemen…