Victor V. Toporkov Dataflow Analysis of Distributed Programs Using Generalized Marked Nets. 73-80 2007 conf/depcos/2007 DepCoS-RELCOMEX http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.14 db/conf/depcos/depcos2007.html#Toporkov07