Pages that link to "Item:Q1801467"
From MaRDI portal
The following pages link to Specification and analysis of a composition of protocols (Q1801467):
Displaying 10 items.
- A methodology for constructing communication protocols with multiple concurrent functions (Q1112596) (← links)
- The formalization and analysis of a communications protocol (Q1318284) (← links)
- Specification and analysis of a composition of protocols (Q1801467) (← links)
- Stateful protocol composition (Q2167741) (← links)
- A new ratio for protocol categorization (Q2262473) (← links)
- (Q2763989) (← links)
- (Q4364529) (← links)
- (Q4453049) (← links)
- (Q4738212) (← links)
- Computer Aided Systems Theory – EUROCAST 2005 (Q5394433) (← links)