Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.

Marco Bernardo Alessandro Aldini Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. 39-56 2007 ICTCS conf/ictcs/2007 db/conf/ictcs/ictcs2007.html#BernardoA07