Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2020.105947
+Normal rank
@@ Property / OpenAlex ID @@
+W3013492721
@@ Property / OpenAlex ID: W3013492721 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimulation congruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Branching bisimulation for probabilistic systems: characteristics and decidability
+Normal rank
@@ Property / cites work @@
+Branching bisimilarity is an equivalence indeed!
@@ Property / cites work: Branching bisimilarity is an equivalence indeed! / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and orthogonal bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+A Specification Format for Rooted Branching Bisimulation
+Normal rank
@@ Property / cites work @@
+Probabilistic divide \& congruence: branching bisimilarity
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Probabilistic Processes Logically
@@ Property / cites work: Characterising Probabilistic Processes Logically / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Rooted branching bisimulation as a congruence
@@ Property / cites work: Rooted branching bisimulation as a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+An             <i>O</i>             (             <i>m</i>             log             <i>n</i>             ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring probabilistic bisimulations. I
@@ Property / cites work: Exploring probabilistic bisimulations. I / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3519383
@@ Property / cites work: Q3519383 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence reduction for Markov automata
@@ Property / cites work: Confluence reduction for Markov automata / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial time decision algorithms for probabilistic automata
+Normal rank