Bisimulation for Labelled Markov Processes

José Desharnais, Abbas Edalat, Prakash Panangaden

Information and Computation 179(2), pages 163193
2002

Tags:

Publication

— authors

José Desharnais, Abbas Edalat, Prakash Panangaden

— status

published

— sort

article in journal

— publication date

2002

— journal

Information and Computation

— volume

179

— issue

2

— pages

163193

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY