A decentralised graphical implementation of mobile ambients
type: Item
instance of: scholarly article
title: A decentralised graphical implementation of mobile ambients
zbMATH Open document ID: 1207.68224
author: Fabio Gadducci
author: Giacoma Valentina Monreale
published in: The Journal of Logic and Algebraic Programming
publication date: 2011-02-09T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5848744
zbMATH Keywords: graph transformation
zbMATH Keywords: graphical encodings
zbMATH Keywords: process calculi
zbMATH Keywords: reduction semantics
zbMATH Keywords: structural congruence
describes a project that uses: SLMC
describes a project that uses: GcPan
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.10.002
OpenAlex ID: W2061025984
cites work: Double-pushout graph transformation revisited
cites work: Q3839067
cites work: Synthesising CCS bisimulation using graph rewriting
cites work: Reactive Systems, Barbed Semantics, and the Mobile Ambients
cites work: Normal forms for algebras of connections.
cites work: A spatial logic for concurrency. I
cites work: Mobile ambients
cites work: Ambient graph rewriting
cites work: An algebraic presentation of term graphs, via gs-monoidal categories
cites work: Q4890710
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
cites work: Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
cites work: Q4448354
cites work: Graph rewriting for the π-calculus
cites work: A Decentralized Implementation of Mobile Ambients
cites work: Q4917051
cites work: An efficient abstract machine for safe ambients
cites work: Bigraphs and transitions
cites work: Pure bigraphs: structure and dynamics
cites work: BioAmbients: an abstraction for biological compartments
DOI: 10.1016/J.JLAP.2010.10.002
Recommended article: A Decentralized Implementation of Mobile Ambients
Recommended article: Q4536436
Recommended article: Q3384918
Recommended article: Distributability of mobile ambients
Recommended article: Q4222941
Recommended article: Q4917051
Recommended article: A fully abstract model for mobile ambients
Recommended article: Recent Trends in Algebraic Development Techniques
Recommended article: On the Expressiveness of Pure Mobile Ambients
description: scientific article; zbMATH DE number 5848744