Dataflow Analysis of Distributed Programs Using Generalized Marked Nets

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.