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 ; ,