Pages that link to "Item:Q948076"
From MaRDI portal
The following pages link to Muller message-passing automata and logics (Q948076):
Displaying 8 items.
- An optimal construction of Hanf sentences (Q420856) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Modal Logic and Distributed Message Passing Automata (Q2958538) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311471) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)