19 citations · 33 across the 3 of their papers we have counts for
3 papers
cs.PL2013★ 19 cited
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…
cs.PL2012★ 10 cited
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…
cs.PL2011★ 4 cited
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…