Pages that link to "Item:Q420842"
From MaRDI portal
The following pages link to A modal type theory for formalizing trusted communications (Q420842):
Displaying 5 items.
- The semantics of untrustworthiness (Q1708483) (← links)
- Modal Interface Theories for Communication-Safe Component Assemblies (Q3105749) (← links)
- Type-Based Verification of Correspondence Assertions for Communication Protocols (Q3498440) (← links)
- A logic of negative trust (Q4995620) (← links)
- A possible worlds semantics for trustworthy non-deterministic computations (Q6596679) (← links)