On the expressive power of movement and restriction in pure mobile ambients
type: Item
instance of: scholarly article
title: On the expressive power of movement and restriction in pure mobile ambients
zbMATH Open document ID: 1071.68072
author: Nadia Busi
author: Gianluigi Zavattaro
published in: Theoretical Computer Science
publication date: 2004-10-04T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2106001
zbMATH Keywords: process calculus
MaRDI profile type: Publication
full work available at URL: j.tcs.2003.10.040
OpenAlex ID: W1993828725
cites work: Q3150203
cites work: Q4417858
cites work: Q5714432
cites work: Anytime, anywhere
cites work: Mobile ambients
cites work: Q4738363
cites work: Well-structured transition systems everywhere!
cites work: Ordering by Divisibility in Abstract Algebras
cites work: Separability in the Ambient Logic
cites work: Controlling interference in ambients
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Q5590814
cites work: Decoding choice encodings
cites work: Extensionality and intensionality of the ambient logics
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: Computability of Recursive Functions
cites work: Q4484494
DOI: 10.1016/J.TCS.2003.10.040
description: scientific article; zbMATH DE number 2106001