A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking and boolean graphs
@@ Property / cites work: Model checking and boolean graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional checking of satisfaction
@@ Property / cites work: Compositional checking of satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+A compositional axiomatization of statecharts
@@ Property / cites work: A compositional axiomatization of statecharts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792222
@@ Property / cites work: Q3792222 / 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 @@
+Q3792217
@@ Property / cites work: Q3792217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038716
@@ Property / cites work: Q4038716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952304
@@ Property / cites work: Q4952304 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences of Statecharts
@@ Property / cites work: Equivalences of Statecharts / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+What is in a step: On the semantics of statecharts
+Normal rank
@@ Property / cites work @@
+Local model checking in the modal mu-calculus
@@ Property / cites work: Local model checking in the modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A note on model checking the modal \(\nu\)-calculus
+Normal rank