Pages that link to "Item:Q2986827"
From MaRDI portal
The following pages link to On the Complexity of Linear Authorization Logics (Q2986827):
Displaying 8 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
- (Q5015208) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)