MPI-INF Logo
Campus Event Calendar

Event Entry

New for: D3

What and Who

On weak bisimulation equivalences for probabilistic systems

Dr. Christel Baier
Department of Mathematics and Computer Science University of Mannheim
Talk
AG 1, AG 2, AG 3  
AG Audience
English

Date, Time and Location

Thursday, 22 April 99
14:00
60 Minutes
46.1
021
Saarbrücken

Abstract

Process equivalences (such as trace equivalence or simulation relations)

play a crucial role for the design by stepwise refinement and
system analysis. In particular, the weak equivalences
that abstract from internal computations are of great importance as they
are appropriate to compare systems on different levels of abstraction
(which is typically the case for an implementation and its specification).

This talks gives an overview of the several types of weak bisimulation
equivalences for probabilistic systems proposed in the literature
and presents a novel notion of weak bisimulation equivalence (called
``uniform bisimulation equivalence''). We discuss the use of these
equivalences as implementation relations via several criteria,
e.g. the soundness for establishing linear time properties, decidability
and compositionality.

Contact

Jens Kuehl
0681-9325302
--email hidden
passcode not visible
logged in users only