Behavioural equivalences of a probabilistic pi-calculus
WeiEn Chen, YongZhi Cao, HanPin WangVolume:
55
Language:
english
DOI:
10.1007/s11432-012-4660-1
Date:
September, 2012
File:
PDF, 287 KB
english, 2012