Refinement Sensitive Formal Semantics of State Machines With Persistent Choice (Q2810972): Difference between revisions

@@ Property / author @@
-Harald Fecher
@@ Property / author: Harald Fecher / rank @@
-Normal rank
@@ Property / author @@
+Harald Fecher
@@ Property / author: Harald Fecher / 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.1016/j.entcs.2009.08.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2109649660
@@ Property / OpenAlex ID: W2109649660 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Concurrency and refinement in the unified modeling language
+Normal rank
@@ Property / cites work @@
+Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
+Normal rank
@@ Property / cites work @@
+Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
+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 @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+A Probabilistic Extension of UML Statecharts
@@ Property / cites work: A Probabilistic Extension of UML Statecharts / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+-valued abstraction: More precision at less cost
@@ Property / cites work: 3-valued abstraction: More precision at less cost / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2810972