GcPan

MaRDI QIDQ34468swMATHFDO

Official website http://perso.ens-lyon.fr/damien.pous/gcpan/

Described by source

• An efficient abstract machine for safe ambients

Cited in

(2)

• A decentralised graphical implementation of mobile ambients
• Deriving structural labelled transitions for mobile ambients

This page was built for software: GcPan