The following pages link to (Q4738212):
Displaying 5 items.
- Semantics of communication in simple multimodular programs (Q796293) (← links)
- Implementation and analysis of real-time communication protocol compositions (Q995821) (← links)
- Specification and analysis of a composition of protocols (Q1801467) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- Stateful protocol composition (Q2167741) (← links)