Marco Zennaro Raja Sengupta Distributing synchronous programs using bounded queues. 325-334 2005 conf/emsoft/2005 EMSOFT http://doi.acm.org/10.1145/1086228.1086287 db/conf/emsoft/emsoft2005.html#ZennaroS05