Stuttering for Abstract Probabilistic Automata (Q3455842): Difference between revisions

@@ Property / cites work @@
+Branching bisimulation for probabilistic systems: characteristics and decidability
+Normal rank
@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+Constraint Markov chains
@@ Property / cites work: Constraint Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Probabilistic Automata
@@ Property / cites work: Abstract Probabilistic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Sound Observational Semantics for Modal Transition Systems
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Approximate Implementations for Probabilistic I/O Automata
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank