Pages that link to "Item:Q674195"
From MaRDI portal
The following pages link to A process algebraic view of input/output automata (Q674195):
Displaying 10 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)
