José Desharnais, Abbas Edalat, Prakash Panangaden

Information and Computation 179(2), pages 163193, 2002
@article{bisimMarkov02,
Author = {Desharnais, José and Edalat, Abbas and Panangaden, Prakash},
Journal = {Information and Computation},
Number = 2,
Pages = {163--193},
Title = {Bisimulation for Labelled Markov Processes},
Volume = 179,
Year = 2002}

Tags:
    

Publication

Bisimulation for Labelled Markov Processes

— status

published  

— authors

José Desharnais, Abbas Edalat, Prakash Panangaden

BibTeX

— BibTeX ID
bisimMarkov02
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY