Pages that link to "Item:Q4917053"
From MaRDI portal
The following pages link to Typing Correspondence Assertions for Communication Protocols (Q4917053):
Displaying 5 items.
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- Manipulating trees with hidden labels (Q2864150) (← links)
- Type-Based Verification of Correspondence Assertions for Communication Protocols (Q3498440) (← links)
- Typing Correspondence Assertions for Communication Protocols (Q4917053) (← links)
- Typing copyless message passing (Q5891509) (← links)