19 citations · 33 across the 3 of their papers we have counts for
4 papers · 1 filter
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…
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…
A Procedure for Splitting Processes and its Application to Coordination
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into…
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Sung-Shik T. Q. Jongmans, Farhad Arbab
Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of la…