Pages that link to "Item:Q1098296"
From MaRDI portal
The following pages link to The synthesis of communication protocols (Q1098296):
Displaying 15 items.
- Defining, analysing and implementing communication protocols using attribute grammars (Q919803) (← links)
- An alternative implementation of communication primitives (Q1091123) (← links)
- The synthesis of communication protocols (Q1098296) (← links)
- A methodology for constructing communication protocols with multiple concurrent functions (Q1112596) (← links)
- Factorisation of finite state machines under strong and observational equivalences (Q1176112) (← links)
- The formalization and analysis of a communications protocol (Q1318284) (← links)
- Designing secure communication protocols from trust specifications (Q1322565) (← links)
- A new formal method for communication protocol specification (Q1823663) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- Automated synthesis of application-layer connectors from automata-based specifications (Q2424673) (← links)
- Synthesizing distributed protocol specifications from a UML state machine modeled service specification (Q2434558) (← links)
- (Q3740206) (← links)
- (Q4364529) (← links)
- (Q4838181) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705941) (← links)