ChangJun JIANG


The Liveness of WS3PR: Complexity and Decision
GuanJun LIU ChangJun JIANG MengChu ZHOU Atsushi OHTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/08/01
Vol. E96-A  No. 8  pp. 1783-1793
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
concurrent systemsPetri netslivenessdeadlockresource allocation
 Summary | Full Text:PDF