Normal Bisimulations in Calculi with Passivation (Q3617734): Difference between revisions

@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+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 @@
+Q2848140
@@ Property / cites work: Q2848140 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of higher-order process calculi
+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 @@
+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 @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank