Title of article
Bisimulation and cocongruence for probabilistic systems
Author/Authors
Vincent Danos، نويسنده , , Josee Desharnais، نويسنده , , François Laviolette، نويسنده , , Prakash Panangaden، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
21
From page
503
To page
523
Keywords
Probabilistic processes , Cocongruence , Labelled Markov processes , Coalgebras , Probabilistic bisimulation
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262338
Link To Document