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

@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIO Workbench
@@ Property / describes a project that uses: MIO Workbench / 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-35722-0_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1909801755
@@ Property / OpenAlex ID: W1909801755 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3455842