Masaki Murakami A formal model of concurrent systems based on bipartite directed acyclic graph. 38-47 2006 61 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2005.11.004 db/journals/scp/scp61.html#Murakami06