@article {Jongmans201647,
	title = {A procedure for splitting data-aware processes and its application to coordination},
	journal = {Science of Computer Programming},
	volume = {115-116},
	year = {2016},
	note = {<p>Special Section on Foundations of Coordination Languages and Software (FOCLASA 2012)Special Section on Foundations of Coordination Languages and Software (FOCLASA 2013)</p>
},
	pages = {47-78},
	abstract = {<p>n/a</p>
},
	keywords = {Coordination, mCRL2, Process algebra, Reo},
	issn = {0167-6423},
	doi = {10.1016/j.scico.2014.02.017},
	url = {http://www.sciencedirect.com/science/article/pii/S0167642314000847},
	attachments = {https://haslab.uminho.pt/sites/default/files/joseproenca/files/splitreo-scp.pdf},
	author = {S.-S.T.Q. Jongmans and D. Clarke and Jos{\'e} Proen{\c c}a}
}