The following pages link to CONCUR 2004 - Concurrency Theory (Q5311471):
Displaying 5 items.
- Muller message-passing automata and logics (Q948076) (← links)
- EMSO-logic and automata related to homogeneous flow event structures (Q1885039) (← links)
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata (Q2496297) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- Modal Logic and Distributed Message Passing Automata (Q2958538) (← links)