104 search results - page 1 / 21 » Characterising Probabilistic Processes Logically |
CORR
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
127
Voted
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
100
Voted
IANDC
2006
15 years 12 days ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
78
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
ENTCS
2006
15 years 12 days ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...