@conference {DBLP:journals/corr/abs-1209-1422,
	title = {A Procedure for Splitting Processes and its Application to Coordination},
	booktitle = {Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation - FOCLASA },
	year = {2012},
	month = {September},
	pages = {79{\textendash}96},
	address = {Newcastle, U.K.},
	abstract = {<p>We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the<br />
specification language mCRL2). This splitting procedure cuts a process into two processes along a<br />
set of actions A: roughly, one of these processes contains no actions from A, while the other process<br />
contains only actions from A. We state and prove a theorem asserting that the parallel composition<br />
of these two processes equals the original process under appropriate synchronization.<br />
We apply our splitting procedure to the process algebraic semantics of the coordination language<br />
Reo: using this procedure and its related theorem, we formally establish the soundness of splitting<br />
Reo connectors along the boundaries of their (a)synchronous regions in implementations of Reo.<br />
Such splitting can significantly improve the performance of connectors.</p>
},
	doi = {10.4204/EPTCS.91.6},
	attachments = {https://haslab.uminho.pt/sites/default/files/joseproenca/files/1209.1422.pdf},
	author = {Sung-Shik T. Q. Jongmans and Dave Clarke and Jos{\'e} Proen{\c c}a}
}