DMCA

Deadlock analysis of unbounded process networks (2014)

by Elena Giachino , Naoki Kobayashi , Cosimo Laneve
Venue:In Proceedings of Concur’2014, LNCS
Citations:4 - 1 self