Pages that link to "Item:Q882488"
From MaRDI portal
The following pages link to An efficient abstract machine for safe ambients (Q882488):
Displaying 8 items.
- GcPan (Q34468) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- Safe ambients: Abstract machine and distributed implementation (Q2581541) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Programming Languages and Systems (Q5308696) (← links)
- Logic Programming (Q5475767) (← links)