Pages that link to "Item:Q882488"

The following pages link to An efficient abstract machine for safe ambients (Q882488):

Displaying 5 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)
• A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)