Pages that link to "Item:Q2958538"
From MaRDI portal
The following pages link to Modal Logic and Distributed Message Passing Automata (Q2958538):
Displaying 13 items.
- Muller message-passing automata and logics (Q948076) (← links)
- Counter machines and distributed automata -- a story about exchanging space and time (Q1656682) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Emptiness problems for distributed automata (Q2182732) (← 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)
- Distributed first order logics (Q2782484) (← links)
- Communicating Finite-State Machines and Two-Variable Logic (Q3304111) (← links)
- (Q3384173) (← links)
- Programming Languages and Systems (Q5308700) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311471) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5891978) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5918244) (← links)