Muller message-passing automata and logics (Q948076): Difference between revisions

@@ 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.1016/j.ic.2008.03.010
+Normal rank
@@ Property / OpenAlex ID @@
+W1973172637
@@ Property / OpenAlex ID: W1973172637 / rank @@
+Normal rank
@@ Property / cites work @@
+Message-passing automata are expressively equivalent to EMSO logic
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Deterministic asynchronous automata for infinite traces
+Normal rank
@@ Property / cites work @@
+Asynchronous cellular automata for pomsets
@@ Property / cites work: Asynchronous cellular automata for pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Logical definability on infinite traces
@@ Property / cites work: Logical definability on infinite traces / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Asynchronous cellular automata for infinite traces
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+Regular sets of infinite message sequence charts
@@ Property / cites work: Regular sets of infinite message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and well orderings
@@ Property / cites work: Generalized quantifiers and well orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Ehrenfeucht's game and some applications
+Normal rank