Harmonization of interacting automata (Q904417): Difference between revisions

@@ Property / author @@
-Anatoli N. Chebotarev
@@ Property / author: Anatoli N. Chebotarev / rank @@
-Normal rank
@@ Property / author @@
+Anatoli N. Chebotarev
@@ Property / author: Anatoli N. Chebotarev / 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/s10559-015-9759-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2339249738
@@ Property / OpenAlex ID: W2339249738 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional approach to the development of reactive algorithms
+Normal rank
@@ Property / cites work @@
+General method of testing the compatibility of interacting automata with finite memory
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting automata
@@ Property / cites work: Interacting automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737196
@@ Property / cites work: Q4737196 / rank @@
+Normal rank