A deadlock detection algorithm for business processes workflow models.

Tetsuya Maruta, Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda

Browse the full SMC paper archive.