Variations on mobile processes (Q1960530): Difference between revisions

@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs as processes
@@ Property / cites work: Proofs as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885871
@@ Property / cites work: Q4885871 / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous π-calculus
@@ Property / cites work: On bisimulations for the asynchronous π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620723
@@ Property / cites work: Q5620723 / rank @@
+Normal rank
@@ Property / cites work @@
+*-Autonomous categories and linear logic
@@ Property / cites work: *-Autonomous categories and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the \(\pi\)-calculus and linear logic
@@ Property / cites work: On the \(\pi\)-calculus and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of internal mobility in name-passing calculi
+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 @@
+Reaction graph
@@ Property / cites work: Reaction graph / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric \(\pi\)-calculus
@@ Property / cites work: Symmetric \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / 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 @@
+Interaction combinators
@@ Property / cites work: Interaction combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Complete inference systems for weak bisimulation equivalences in the π-calculus
+Normal rank
@@ Property / cites work @@
+Q4219039
@@ Property / cites work: Q4219039 / rank @@
+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 @@
+Q4260379
@@ Property / cites work: Q4260379 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for interaction
@@ Property / cites work: Calculi for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842539
@@ Property / cites work: Q4842539 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / 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 @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Asynchronous process calculi: The first- and higher-order paradigms
+Normal rank
@@ Property / cites work @@
+From π-calculus to higher-order π-calculus — and back
+Normal rank
@@ Property / cites work @@
+The lazy lambda calculus in a concurrency scenario
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+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 @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+The Universe of Set Theory
@@ Property / cites work: The Universe of Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank
@@ Property / cites work @@
+A theory of higher order communicating systems
@@ Property / cites work: A theory of higher order communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219040
@@ Property / cites work: Q4219040 / rank @@
+Normal rank
@@ Property / cites work @@
+π-Calculus semantics of object-oriented programming languages
+Normal rank
@@ Property / cites work @@
+Objects in the \(\pi\)-calculus
@@ Property / cites work: Objects in the \(\pi\)-calculus / rank @@
+Normal rank