Results 1 
5 of
5
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 82 (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 22 (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 2 (2 self)
 Add to MetaCart
(Show Context)
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
USER’S DECLARATION
, 1999
"... I agree that this thesis shall be available in accordance with the regulations governing the University of Warwick theses. I agree that the summary of this thesis may be submitted for publication. I agree that the thesis may be photocopied (single copies for study purposes only). Theses with no rest ..."
Abstract
 Add to MetaCart
(Show Context)
I agree that this thesis shall be available in accordance with the regulations governing the University of Warwick theses. I agree that the summary of this thesis may be submitted for publication. I agree that the thesis may be photocopied (single copies for study purposes only). Theses with no restriction on photocopying will also be made available to the British Library for microfilming. The British Library may supply copies to individuals or libraries. subject to a statement from them that the copy is supplied for nonpublishing purposes. All copies supplied by the British Library will carry the following statement: “Attention is drawn to the fact that the copyright of this thesis rests with its author. This copy of the thesis has been supplied on the condition that anyone who consults it is understood to recognise that its copyright rests with its author and that no quotation from the thesis and no information derived from it may be published without the author’s written consent.” AUTHOR’S SIGNATURE:................................................