Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667): 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.entcs.2009.06.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2041803551
@@ Property / OpenAlex ID: W2041803551 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition and Decomposition of DPO Transformations with Borrowed Context
+Normal rank
@@ Property / cites work @@
+Process Bisimulation Via a Graphical Encoding
@@ Property / cites work: Process Bisimulation Via a Graphical Encoding / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Models for Reactive Systems
@@ Property / cites work: Coalgebraic Models for Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / 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 @@
+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 @@
+A Decentralized Implementation of Mobile Ambients
@@ Property / cites work: A Decentralized Implementation of Mobile Ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral theory for mobile ambients
@@ Property / cites work: Behavioral theory for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / 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
@@ Property / cites work @@
+Deriving Structural Labelled Transitions for Mobile Ambients
+Normal rank