Pages that link to "Item:Q4644356"
From MaRDI portal
The following pages link to A concurrent constraint programming interpretation of access permissions (Q4644356):
Displaying 7 items.
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Access control in a core calculus of dependency (Q2864145) (← links)
- Access permission contracts for scripting languages (Q2942863) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Dynamic Access Control in a Concurrent Object Calculus (Q5756617) (← links)