Victor V. Toporkov. Dataflow Analysis of Distributed Programs Using Generalized Marked Nets. In 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland. pages 73-80, IEEE Computer Society, 2007. [doi]
Abstract is missing.