13917 search results - page 23 / 2784 » Abstraction of Probabilistic Systems |
SP
1990
IEEE
15 years 1 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
4OR
2011
14 years 4 months ago
2011
Abstract This paper provides a survey on probabilistic decision graphs for mod
VOSS
2004
Springer
15 years 3 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
72
Voted
ENTCS
2008
14 years 9 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
103
click to vote
FORTE
2008
14 years 11 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...