Toward Sequentializing Overparallelized Protocol Code

Sung-Shik T. Q. Jongmans, Farhad Arbab

In our ongoing work, we use constraint automata to compile protocol specifications expressed as Reo connectors into efficient executable code, e.g., in C. We have by now studied th…