Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735): 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.1007/978-3-642-00596-1_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1582856109
@@ Property / OpenAlex ID: W1582856109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848079
@@ Property / cites work: Q2848079 / 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 @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
+Normal rank
@@ Property / cites work @@
+Deriving Structural Labelled Transitions for Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Behavioral theory for mobile ambients
@@ Property / cites work: Behavioral theory for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / 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 @@
+Process Bisimulation Via a Graphical Encoding
@@ Property / cites work: Process Bisimulation Via a Graphical Encoding / rank @@
+Normal rank
@@ Property / cites work @@
+Local Bigraphs and Confluence: Two Conjectures
@@ Property / cites work: Local Bigraphs and Confluence: Two Conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+RPO, Second-Order Contexts, and λ-Calculus
@@ Property / cites work: RPO, Second-Order Contexts, and λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and transitions
@@ Property / cites work: Bigraphs and transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems over Directed Bigraphs
@@ Property / cites work: Reactive Systems over Directed Bigraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219054
@@ Property / cites work: Q4219054 / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Barbs and Biorthogonality
@@ Property / cites work: Semantic Barbs and Biorthogonality / rank @@
+Normal rank