Deriving structural labelled transitions for mobile ambients
scientific article; zbMATH DE number 5796783
scientific article