Weak Bisimulation for Probabilistic Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-44618-4_25
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2006English

Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

New Bisimulation Semantics for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Bisimulation Relations for Dynamical, Control, and Hybrid Systems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2005English

Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Bisimulation-Based Concept Learning for Information Systems in Description Logics

Vietnam Journal of Computer Science
2015English

An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems

International Journal of Foundations of Computer Science
Computer Science
2013English

Active Diagnosis for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Probabilistic Logic for Intelligent Systems

Advances in Intelligent Systems and Computing
ControlSystems EngineeringComputer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy