Pages that link to "Item:Q1869977"
From MaRDI portal
The following pages link to Orderly communication in the ambient calculus. (Q1869977):
Displaying 11 items.
- Behavioural typing for safe ambients (Q1869978) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- M\(^3\): mobility types for mobile processes in mobile ambients (Q2843918) (← links)
- Ambient calculus and its logic in the calculus of inductive constructions (Q2844811) (← links)
- Type assignement for mobile objects (Q2847776) (← links)
- Typed mobile ambients in Maude (Q2863877) (← links)
- Programming Languages and Systems (Q5308697) (← links)
- Types for Proofs and Programs (Q5712315) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897115) (← links)