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]
@inproceedings{Toporkov07,
title = {Dataflow Analysis of Distributed Programs Using Generalized Marked Nets},
author = {Victor V. Toporkov},
year = {2007},
doi = {10.1109/DEPCOS-RELCOMEX.2007.14},
url = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.14},
tags = {program analysis, analysis},
researchr = {https://researchr.org/publication/Toporkov07},
cites = {0},
citedby = {0},
pages = {73-80},
booktitle = {2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland},
publisher = {IEEE Computer Society},
}