A Decentralized Implementation of Mobile Ambients

DOI10.1007/978-3-540-87405-8_9MaRDI QIDQ3540392zbMATH OpenOpenAlexFDO

Authors Fabio Gadducci, Giacoma Valentina Monreale

Publication date 20 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87405-8_9

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A decentralised graphical implementation of mobile ambients
• A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST
• scientific article; zbMATH DE number 1759482
• scientific article; zbMATH DE number 1754608
• scientific article; zbMATH DE number 1231618

Cites work

• A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST
• A spatial logic for concurrency. I
• Ambient graph rewriting
• An algebraic presentation of term graphs, via gs-monoidal categories
• An efficient abstract machine for safe ambients
• Behavioral theory for mobile ambients
• Bigraphs and transitions
• BioAmbients: an abstraction for biological compartments
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Graph rewriting for the π-calculus
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 2044490 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• Mobile ambients
• Normal forms for algebras of connections.
• Process Bisimulation Via a Graphical Encoding
• Pure bigraphs: structure and dynamics

Cited in

(9)

• Distributability of mobile ambients
• Coordination of a decentralized system with a mobile platform and an app by a bilateral advertising contract
• scientific article; zbMATH DE number 1630090 (Why is no real title available?)
• On the expressiveness of the -calculus and the mobile ambients
• scientific article; zbMATH DE number 2044490 (Why is no real title available?)
• scientific article; zbMATH DE number 1759482 (Why is no real title available?)
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• RPO semantics for mobile ambients
• A decentralised graphical implementation of mobile ambients

This page was built for publication: A Decentralized Implementation of Mobile Ambients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540392)