Panos Rondogiannis, Mantis H. M. Cheng. Petri-Net-Based Deadlock Analysis of Process Algebra Programs. Science of Computer Programming, 23(1):55-89, 1994.
@article{RondogiannisC94,
title = {Petri-Net-Based Deadlock Analysis of Process Algebra Programs},
author = {Panos Rondogiannis and Mantis H. M. Cheng},
year = {1994},
tags = {rule-based, program analysis, process algebra, analysis, algebra},
researchr = {https://researchr.org/publication/RondogiannisC94},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {23},
number = {1},
pages = {55-89},
}