Bisimulation for Labelled Markov Processes

Bisimulation for Labelled Markov Processes (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Jos Ee Desharnais , Josee Desharnais , Richard Blute , Richard Blute , Abbas Edalat , Abbas Edalat , Prakash Panagaden , Prakash Panangaden

Venue:	Information and Computation
Citations:	120 - 17 self

BibTeX

@INPROCEEDINGS{Desharnais97bisimulationfor,
    author = {Jos Ee Desharnais and Josee Desharnais and Richard Blute and Richard Blute and Abbas Edalat and Abbas Edalat and Prakash Panagaden and Prakash Panangaden},
    title = {Bisimulation for Labelled Markov Processes},
    booktitle = {Information and Computation},
    year = {1997},
    pages = {95--106}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

In this paper we introduce a new class of labelled transition systems - Labelled Markov Processes - and define bisimulation for them.

Citations

156	N.: A Final Coalgebra Theorem - Aczel, Mendler - 1989
114	Real analysis and probability - Ash - 1972
40	Testing equivalences and fully abstract models for probabilistic processes - Christoff - 1990
4	Domain equations for probabilistic processes. Available from URL http://www.cs.bham.ac.uk/ mzk - Baier, Kwiatkowska - 1996