A General Framework for Probabilistic Characterizing Formulae (Q2891432): Difference between revisions

@@ Property / author @@
-Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
-Normal rank
@@ Property / author @@
+Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
+Normal rank
@@ 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.1007/978-3-642-27940-9_26
+Normal rank
@@ Property / OpenAlex ID @@
+W180602404
@@ Property / OpenAlex ID: W180602404 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for fixed-point semantics: a general framework
+Normal rank
@@ Property / cites work @@
+The Max-Flow Min-Cut theorem for countable networks
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+Characterising Probabilistic Processes Logically
@@ Property / cites work: Characterising Probabilistic Processes Logically / rank @@
+Normal rank
@@ Property / cites work @@
+Weak bisimulation is sound and complete for pCTL\(^*\)
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
+Normal rank
@@ Property / cites work @@
+On the use of MTBDDs for performability analysis and verification of stochastic systems.
+Normal rank
@@ Property / cites work @@
+Probabilistic logical characterization
@@ Property / cites work: Probabilistic logical characterization / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite models constructed from canonical formulas
@@ Property / cites work: Finite models constructed from canonical formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2891432