A decentralised graphical implementation of mobile ambients
scientific article; zbMATH DE number 5848744
scientific article