GcPan

swMATH22677MaRDI QIDQ34468FDOQ34468

Author name not available (Why is that?)

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