A Behavioural Theory for a π-calculus with Preorders (Q3455864): Difference between revisions

@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+PiDuce- A project for experimenting web services technologies
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of typed mobile processes
+Normal rank
@@ Property / cites work @@
+Acyclic Solos and Differential Interaction Nets
@@ Property / cites work: Acyclic Solos and Differential Interaction Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484502
@@ Property / cites work: Q4484502 / rank @@
+Normal rank
@@ Property / cites work @@
+Name-Passing Calculi: From Fusions to Preorders and Types
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof System for Applied Pi Calculus
@@ Property / cites work: Proof System for Applied Pi Calculus / 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 @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219040
@@ Property / cites work: Q4219040 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank