Compositionally progressive solutions of synchronous FSM equations (Q1020554): Difference between revisions

@@ Property / cites work @@
+Bisimulation, the supervisory control problem and strong model matching for finite state machines
+Normal rank
@@ Property / cites work @@
+Q4412566
@@ Property / cites work: Q4412566 / rank @@
+Normal rank
@@ Property / cites work @@
+Progressive Solutions to a Parallel Automata Equation
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Progressive solutions to a parallel automata equation
+Normal rank
@@ Property / cites work @@
+A survey of Petri net methods for controlled discrete event systems
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+A discrete event systems approach for protocol conversion
+Normal rank
@@ Property / cites work @@
+Compositionally progressive solutions of synchronous FSM equations
+Normal rank