A comparison of Statecharts step semantics (Q1853596): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Precongruence formats for decorated trace semantics
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818861
@@ Property / cites work: Q4818861 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+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 @@
+Equivalences of Statecharts
@@ Property / cites work: Equivalences of Statecharts / rank @@
+Normal rank
@@ Property / cites work @@
+What is in a step: On the semantics of statecharts
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00381-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1987349236
@@ Property / OpenAlex ID: W1987349236 / rank @@
+Normal rank