Norm Functions for Probabilistic Bisimulations with Delays
From International Center for Computational Logic
Norm Functions for Probabilistic Bisimulations with Delays
Christel BaierChristel Baier, Mariëlle StoelingaMariëlle Stoelinga
Christel Baier, Mariëlle Stoelinga
Norm Functions for Probabilistic Bisimulations with Delays
3rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 1784 of Lecture Notes in Computer Science, 1--16, 2000. Springer
Norm Functions for Probabilistic Bisimulations with Delays
3rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 1784 of Lecture Notes in Computer Science, 1--16, 2000. Springer
- KurzfassungAbstract
We consider action-labelled systems with non-deterministic and probabilistic choice. Using the concept of norm functions [17], we introduce two types of bisimulations (called (strict) normed bisimulation equivalence) that allow for delays when simulating a transition and are strictly between strong and weak bisimulation equivalence à la [26,36,37]. Using a suitable modification of the prominent splitter/partitioning technique [25,30], we present polynomial-time algorithms that constructs the quotient space of the (strict) normed bisimulation equivalence classes. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@inproceedings{BS2000,
author = {Christel Baier and Mari{\"{e}}lle Stoelinga},
title = {Norm Functions for Probabilistic Bisimulations with Delays},
booktitle = {3rd International Conference on Foundations of Software Science
and Computation Structures (FoSSaCS)},
series = {Lecture Notes in Computer Science},
volume = {1784},
publisher = {Springer},
year = {2000},
pages = {1--16},
doi = {10.1007/3-540-46432-8_1}
}