Article ID Journal Published Year Pages File Type
6875318 Science of Computer Programming 2016 32 Pages PDF
Abstract
We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: using this procedure and its related theorem, we formally establish the soundness of splitting Reo connectors along the boundaries of their (a)synchronous regions in implementations of Reo. Such splitting can significantly improve the performance of connectors as shown elsewhere.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
A procedure for splitting data-aware processes and its application to coordination
Authors
, , ,