A decentralised graphical implementation of mobile ambients (Q624388): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2010.10.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2061025984
@@ Property / OpenAlex ID: W2061025984 / rank @@
+Normal rank
@@ Property / cites work @@
+Double-pushout graph transformation revisited
@@ Property / cites work: Double-pushout graph transformation revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839067
@@ Property / cites work: Q3839067 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesising CCS bisimulation using graph rewriting
+Normal rank
@@ Property / cites work @@
+Reactive Systems, Barbed Semantics, and the Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Normal forms for algebras of connections.
@@ Property / cites work: Normal forms for algebras of connections. / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849869
@@ Property / cites work: Q2849869 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
+Normal rank
@@ Property / cites work @@
+Q4448354
@@ Property / cites work: Q4448354 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph rewriting for the π-calculus
@@ Property / cites work: Graph rewriting for the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Decentralized Implementation of Mobile Ambients
@@ Property / cites work: A Decentralized Implementation of Mobile Ambients / rank @@
+Normal rank
@@ Property / 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 Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
+Normal rank
@@ Property / cites work @@
+An efficient abstract machine for safe ambients
@@ Property / cites work: An efficient abstract machine for safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and transitions
@@ Property / cites work: Bigraphs and transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank