Masaki Murakami A calculus for concurrent system with higher-order streaming communication. 61-72 2005 57 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2004.10.005 db/journals/scp/scp57.html#Murakami05