Petri-Net-Based Deadlock Analysis of Process Algebra Programs

Panos Rondogiannis, Mantis H. M. Cheng. Petri-Net-Based Deadlock Analysis of Process Algebra Programs. Science of Computer Programming, 23(1):55-89, 1994.

Abstract

Abstract is missing.