On disjunction of literals in triggers of statecharts transitions. (Q1853160): Difference between revisions

@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to design choices in the semantics of Statecharts
+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 / full work available at URL @@
+https://doi.org/10.1016/s0020-0190(02)00314-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2087211664
@@ Property / OpenAlex ID: W2087211664 / rank @@
+Normal rank