Pages that link to "Item:Q2481210"
From MaRDI portal
The following pages link to Interface synthesis and protocol conversion (Q2481210):
Displaying 8 items.
- An algebraic theory of interface automata (Q402131) (← links)
- A discrete event systems approach for protocol conversion (Q1361804) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Automated synthesis of application-layer connectors from automata-based specifications (Q2424673) (← links)
- Mediator Synthesis in a Component Algebra with Data (Q3449636) (← links)
- A protocol converter for nonblocking protocols (Q4788458) (← links)
- (Q5021015) (← links)
- Principles of Distributed Systems (Q5713655) (← links)