مرکز منطقه ای اطلاع رساني علوم و فناوري - Comparative branching-time semantics for Markov chains

Title of article :

Comparative branching-time semantics for Markov chains

Author/Authors :

Christel Baier، نويسنده , , Joost-Pieter Katoen، نويسنده , , Holger Hermanns، نويسنده , , Verena Wolf، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2005

Pages :

From page :

149

To page :

214

Keywords :

Comparative semantics , (weak) Bisimulation , (weak) Simulation , Temporal Logic , Markov chain

Journal title :

Information and Computation

Serial Year :

2005

Journal title :

Information and Computation

Record number :

262298

Link To Document :