Pages that link to "Item:Q3606357"
From MaRDI portal
The following pages link to MULTISTAGE COMMUNICATION WITH AND WITHOUT VERIFIABLE TYPES (Q3606357):
Displaying 7 items.
- Dynamic strategic information transmission (Q402084) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- Sender-receiver games with cooperation (Q1748370) (← links)
- Type-Based Verification of Correspondence Assertions for Communication Protocols (Q3498440) (← links)
- Non-interference Properties for Data-Type Reduction of Communicating Systems (Q3608898) (← links)
- Communication with tokens in repeated games on networks (Q4586081) (← links)
- Typing Correspondence Assertions for Communication Protocols (Q4917053) (← links)