GcPan

swMATH22677MaRDI QIDQ34468FDOQ34468

Author name not available (Why is that?)

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