Howe’s Method for Calculi with Passivation (Q3184692): Difference between revisions

@@ Property / describes a project that uses @@
+SafeDpi
@@ Property / describes a project that uses: SafeDpi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1790914901
@@ Property / OpenAlex ID: W1790914901 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication and mobility control in boxed ambients
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+The seal calculus
@@ Property / cites work: The seal calculus / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+safeDpi: a language for controlling mobile code
@@ Property / cites work: safeDpi: a language for controlling mobile code / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848140
@@ Property / cites work: Q2848140 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for a fragment of concurrent ML with local names
+Normal rank
@@ Property / cites work @@
+Contextual equivalence for higher-order pi-calculus revisited
+Normal rank
@@ Property / cites work @@
+Characterizing contextual equivalence in calculi with passivation
+Normal rank
@@ Property / cites work @@
+Normal Bisimulations in Calculi with Passivation
@@ Property / cites work: Normal Bisimulations in Calculi with Passivation / 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 @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing
@@ Property / cites work: Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Acute: High-level programming language design for distributed computation
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3184692