The following pages link to (Q3814780):
Displayed 8 items.
- Distributed event algebras (Q1191023) (← links)
- Specifying modules to satisfy interfaces: A state transition system approach (Q1193606) (← links)
- Formalizing process algebraic verifications in the calculus of constructions (Q1355748) (← links)
- Correctness proof of a database replication protocol under the perspective of the I/O automaton model (Q2390937) (← links)
- Highly concurrent logically synchronous multicast (Q2638776) (← links)
- Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
- On confluence in the π-calculus (Q4571963) (← links)
- I/O automata in Isabelle/HOL (Q6061876) (← links)