The following pages link to Programming Languages and Systems (Q5308697):
Displayed 4 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)