A procedure for splitting data-aware processes and its application to coordination

Publication
Sci. Comput. Program.