Author：
Damiano Falcioni, Damiano Falcioni, Alberto Polzonetti & Barbara Re

Year：
2012

References：
Livelock and Deadlock Detection for PA Inter-organizational Business Processes

Link：
Click here

Publication：
Lecture Notes in Computer Science : Advancing Democracy, Government and Governance, Volume 7452, 2012, pp. 125 - 139