C Sofronis,
S Tripakis, P Caspi - Proceedings of the 6th ACM & IEEE …, 2006 - dl.acm.org
Recently, we have proposed a set of buffering schemes to preserve the semantics of a
synchronous program when the latter is implemented as a set of multiple tasks running …