Pages that link to "Item:Q674195"
From MaRDI portal
The following pages link to A process algebraic view of input/output automata (Q674195):
Displaying 12 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Specification completion for IOCO (Q763529) (← links)
- Synchronization expressions with extended join operation (Q1274985) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- A calculus for team automata (Q2873606) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900566) (← links)
- Integrated Formal Methods (Q5901615) (← links)