Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242): 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.jcss.2020.06.006
+Normal rank
@@ Property / OpenAlex ID @@
+W3042689394
@@ Property / OpenAlex ID: W3042689394 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and Branching Automata
@@ Property / cites work: Logic and Branching Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of verifying message passing programs under bounded asynchrony
+Normal rank
@@ Property / cites work @@
+Communicating Finite-State Machines and Two-Variable Logic
+Normal rank
@@ Property / cites work @@
+Muller message-passing automata and logics
@@ Property / cites work: Muller message-passing automata and logics / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Message-passing automata are expressively equivalent to EMSO logic
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of 2-Stack Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+On notions of regularity for data languages
@@ Property / cites work: On notions of regularity for data languages / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous mappings and asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+Pure future local temporal logics are expressively complete for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Q3086925
@@ Property / cites work: Q3086925 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Concurrent Time-Stamping
@@ Property / cites work: Bounded Concurrent Time-Stamping / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674621
@@ Property / cites work: Q3674621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3504344
@@ Property / cites work: Q3504344 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Q5431917
@@ Property / cites work: Q5431917 / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with intersection and converse: satisfiability and infinite-state model checking
+Normal rank
@@ Property / cites work @@
+On logics with two variables
@@ Property / cites work: On logics with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak models of distributed computing, with connections to modal logic
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+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 @@
+Q2762794
@@ Property / cites work: Q2762794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754184
@@ Property / cites work: Q2754184 / 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 @@
+Modal Logic and Distributed Message Passing Automata
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+Normal rank
@@ Property / cites work @@
+-Exp Time lower bounds for propositional dynamic logics with intersection
+Normal rank
@@ Property / cites work @@
+Bounded MSC communication
@@ Property / cites work: Bounded MSC communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Bounded time-stamping in message-passing systems
@@ Property / cites work: Bounded time-stamping in message-passing systems / rank @@
+Normal rank
@@ Property / cites work @@
+Keeping track of the latest gossip in a distributed system
+Normal rank
@@ Property / cites work @@
+Distributed Algorithms for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Distributed Graph Automata
@@ Property / cites work: Distributed Graph Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111432
@@ Property / cites work: Q5111432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723183
@@ Property / cites work: Q5723183 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+An expressively complete linear time temporal logic for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank