Bisimulation for Labelled Markov Processes (1997)

by Richard Blute , Josée Desharnais , Abbas Edalat , Prakash Panangaden
Venue:INFORMATION AND COMPUTATION
Citations:145 - 22 self

Active Bibliography

This document in subdirectoryRS/97/4/ Bisimulation for Labelled Markov Processes – Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden, Richard Blute, Abbas Edalat, Josée Desharnais, Prakash Panangaden - 909
338 On the impossibility of informationally efficient markets – J. Grossman, Joseph E. Stiglitz, J. Grossman, Joseph, E. Stiglitz - 1980
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
178 Stochastic Completion Fields: A Neural Model of Illusory Contour Shape and Salience – Lance R. Williams, David W. Jacobs - 1995
135 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
112 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
89 Coalgebraic Logic – Lawrence S. Moss - 1999
68 Probabilistic Extensions of Process Algebras – Bengt Jonsson, Kim G. Larsen, Wang Yi - 2001