Understanding the mismatch combinator in chi calculus (Q1853614): Difference between revisions

@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+A proof theoretical approach to communication
@@ Property / cites work: A proof theoretical approach to communication / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in computing science -- ASIAN '98. 4th Asian computing science conference, Manila, the Philippines, December 8--10, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Variations on mobile processes
@@ Property / cites work: Variations on mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270066
@@ Property / cites work: Q4270066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536631
@@ Property / cites work: Q4536631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472461
@@ Property / cites work: Q4472461 / rank @@
+Normal rank
@@ Property / cites work @@
+Tau laws for pi calculus
@@ Property / cites work: Tau laws for pi calculus / 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 @@
+Q4219039
@@ Property / cites work: Q4219039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219055
@@ Property / cites work: Q4219055 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / 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 @@
+Algebraic theories for name-passing calculi
@@ Property / cites work: Algebraic theories for name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791841
@@ Property / cites work: Q4791841 / rank @@
+Normal rank