Title of article :
Bisimulation and cocongruence for probabilistic systems
Author/Authors :
Vincent Danos، نويسنده , , Josee Desharnais، نويسنده , , François Laviolette، نويسنده , , Prakash Panangaden، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Probabilistic processes , Cocongruence , Labelled Markov processes , Coalgebras , Probabilistic bisimulation
Journal title :
Information and Computation
Journal title :
Information and Computation
