Deadlock analysis of unbounded process networks Elena Giachino 1 , Naoki Kobayashi 2 , and Cosimo Laneve 1 1 Dept. of Computer Science and Egineering, University of Bologna – INRIA FOCUS 2 - Tokyo University of Science - Document - PDFSEARCH.IO

First Page	Meta Content
	Deadlock analysis of unbounded process networks Elena Giachino 1 , Naoki Kobayashi 2 , and Cosimo Laneve 1 1 Dept. of Computer Science and Egineering, University of Bologna – INRIA FOCUS 2 Add to Reading List Document Date: 2014-06-23 03:39:58 Open Document File Size: 182,12 KB Share Result on Facebook

Deadlock analysis of unbounded process networks Elena Giachino 1 , Naoki Kobayashi 2 , and Cosimo Laneve 1 1 Dept. of Computer Science and Egineering, University of Bologna – INRIA FOCUS 2Add to Reading List