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

@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-007-0031-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2056297258
@@ Property / OpenAlex ID: W2056297258 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57380410
@@ Property / Wikidata QID: Q57380410 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/deds/YevtushenkoVBPS08
@@ Property / DBLP publication ID: journals/deds/YevtushenkoVBPS08 / rank @@
+Normal rank