Pages that link to "Item:Q549177"
From MaRDI portal
The following pages link to Interface theories for concurrency and data (Q549177):
Displaying 6 items.
- Specifying modules to satisfy interfaces: A state transition system approach (Q1193606) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- Interface automata for shared memory (Q2675806) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- (Q3779721) (← links)