semantics-preserving and memory-efficient implementation of inter-task communication on static -
s tripakis , c sofronis , n scaife , p caspi
proceedings of the 5th acm international conference on & hellip ; ,