Pages that link to "Item:Q948076"
From MaRDI portal
The following pages link to Muller message-passing automata and logics (Q948076):
Displayed 4 items.
- An optimal construction of Hanf sentences (Q420856) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)