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

@@ 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