Results 1 
4 of
4
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
, 1998
"... . The notion of bisimulation as proposed by Larsen and Skou for discrete probabilistic transition systems is shown to coincide with a coalgebraic definition in the sense of Aczel and Mendler in terms of a set functor. This coalgebraic formulation makes it possible to generalize the concepts to a ..."
Abstract

Cited by 75 (15 self)
 Add to MetaCart
. The notion of bisimulation as proposed by Larsen and Skou for discrete probabilistic transition systems is shown to coincide with a coalgebraic definition in the sense of Aczel and Mendler in terms of a set functor. This coalgebraic formulation makes it possible to generalize the concepts to a continuous setting involving Borel probability measures. Under reasonable conditions, generalized probabilistic bisimilarity can be characterized categorically. Application of the final coalgebra paradigm then yields an internally fully abstract semantical domain with respect to probabilistic bisimulation. Keywords. Bisimulation, probabilistic transition system, coalgebra, ultrametric space, Borel measure, final coalgebra. 1 Introduction For discrete probabilistic transition systems the notion of probabilistic bisimilarity of Larsen and Skou [LS91] is regarded as the basic process equivalence. The definition was given for reactive systems. However, Van Glabbeek, Smolka and Steffen s...
Randomised Techniques in Combinatorial Algorithmics
, 1999
"... ix Chapter 1 Introduction 1 1.1 Algorithmic Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Technical Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2.1 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 ..."
Abstract

Cited by 20 (7 self)
 Add to MetaCart
ix Chapter 1 Introduction 1 1.1 Algorithmic Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Technical Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2.1 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2.2 Parallel Computational Complexity . . . . . . . . . . . . . . . . . . . . . 7 1.2.3 Probability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.4 Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.2.5 Random Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.2.6 Group Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 1.3 Concluding Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 Chapter 2 Parallel Uniform Generation of Unlabelled Graphs 25 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2 Sampling O...
On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks
, 1998
"... The preservation of weak pullbacks is studied for a functor M 1 on the category UMS of ultrametric spaces and nonexpansive mappings. The functor M 1 associates with an ultrametric space its collection of Borel probability measures with compact support. ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
The preservation of weak pullbacks is studied for a functor M 1 on the category UMS of ultrametric spaces and nonexpansive mappings. The functor M 1 associates with an ultrametric space its collection of Borel probability measures with compact support.
Surface tension in the dilute Ising model. The Wulff construction (in preparation
"... Abstract. We study the surface tension and the phenomenon of phase coexistence for the Ising model on Z d (d � 2) with ferromagnetic but random couplings. We prove the convergence in probability (with respect to random couplings) of surface tension and analyze its large deviations: upper deviations ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We study the surface tension and the phenomenon of phase coexistence for the Ising model on Z d (d � 2) with ferromagnetic but random couplings. We prove the convergence in probability (with respect to random couplings) of surface tension and analyze its large deviations: upper deviations occur at volume order while lower deviations occur at surface order. We study the asymptotics of surface tension at low temperatures and relate the quenched value τ q of surface tension to maximal flows (first passage times if d = 2). For a broad class of distributions of the couplings we show that the inequality τ a � τ q – where τ a is the surface tension under the averaged Gibbs measure – is strict at low temperatures. We also describe the phenomenon of phase coexistence in the dilute Ising model and discuss some of the consequences of the media