1022 search results - page 1 / 205 » Relators and Metric Bisimulations |
74
Voted
ENTCS
1998
15 years 10 days ago
1998
87
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
101
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
123
Voted
ENTCS
1998
15 years 10 days ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
90
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...