Login / Signup

An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR.

ShouGuang WangChengying WangYanping Yu
Published in: ICCA (2010)
Keyphrases