On Beta-Binders Communications (Q3507381): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-68679-8_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2153807499
@@ Property / OpenAlex ID: W2153807499 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A \(\pi\)-calculus with explicit substitutions
@@ Property / cites work: A \(\pi\)-calculus with explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / 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 @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating by compatibility
@@ Property / cites work: Communicating by compatibility / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+The Decidability of the Structural Congruence for Beta-binders
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank