Deadlock Analysis of Unbounded Process Networks.

Elena Giachino, Naoki Kobayashi, Cosimo Laneve

Browse the full CONCUR paper archive.