Introduction to design choices in the semantics of Statecharts (Q750133): Difference between revisions

@@ 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 @@
+Q3814813
@@ Property / cites work: Q3814813 / rank @@
+Normal rank
@@ Property / cites work @@
+System modelling with high-level Petri nets
@@ Property / cites work: System modelling with high-level Petri nets / rank @@
+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 @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792222
@@ Property / cites work: Q3792222 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(91)90190-s
+Normal rank
@@ Property / OpenAlex ID @@
+W2047351509
@@ Property / OpenAlex ID: W2047351509 / rank @@
+Normal rank