The following pages link to Programming Languages and Systems (Q5308697):
Displaying 12 items.
- Typed context awareness ambient calculus for pervasive applications (Q903500) (← links)
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- (Q2763701) (← links)
- Ambient calculus and its logic in the calculus of inductive constructions (Q2844811) (← links)
- Types for access control in a calculus of mobile resources (Q2864387) (← links)
- (Q4738359) (← links)
- Algebra and Coalgebra in Computer Science (Q5492824) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897115) (← links)
- A dependent dependency calculus (Q6166797) (← links)