Pages that link to "Item:Q351976"
From MaRDI portal
The following pages link to A semantic model of confinement and locality theorem (Q351976):
Displaying 5 items.
- Confinement framework for encapsulating objects (Q2418639) (← links)
- Confined types in Java (Q4791055) (← links)
- Notions of locality and their logical characterizations over finite models (Q4948541) (← links)
- Representation independence, confinement and access control [extended abstract] (Q5178904) (← links)
- (Q5324177) (← links)