Searching for authors named "Davide Sangiorgi" – sorted by Relevance.
-
Typed Pi-Calculus At Work: A Proof of...
- Davide Sangiorgi INRIA-Sophia Antipolis, B.P. 93 F-06902 Sophia Antipolis, France Cliff Jones [4] has
- Add To MetaCart
-
π-Calculus, Internal Mobility, and Agent-Passing Calculi
- -calculus, internal mobility, and agent-passing calculi Davide Sangiorgi INRIA- Sophia Antipolis
- Add To MetaCart
-
Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)
- Asynchronous process calculi: the rst-order and higher-order paradigms (Tutorial) Davide Sangiorgi
- Cited by 11 (0 self) – Add To MetaCart
-
Termination of processes
- An introduction to process calculi Davide Sangiorgi INRIA, France Email: davide.sangiorgi
- Cited by 6 (1 self) – Add To MetaCart
-
The name discipline of uniform receptiveness (Extended Abstract)
- The name discipline of uniform receptiveness (extended abstract) Davide Sangiorgi INRIA - Sophia
- Cited by 5 (0 self) – Add To MetaCart
-
An investigation into Functions as Processes
- An investigation into Functions as Processes Davide Sangiorgi 1 Abstract. In [Mil90] Milner
- Cited by 6 (1 self) – Add To MetaCart
-
Locality and True-concurrency in calculi for mobile processes
- Locality and True-concurrency in calculi for mobile processes Davide Sangiorgi Department
- Cited by 4 (0 self) – Add To MetaCart
-
Interpreting functions as π-calculus processes: a tutorial
- Interpreting functions as ��-calculus processes: a tutorial Davide Sangiorgi INRIA Sophia
- Cited by 1 (0 self) – Add To MetaCart
-
A Theory of Bisimulation for the pi-calculus
- A Theory of Bisimulation for the -calculus Davide Sangiorgi Laboratory for Foundations
- Cited by 23 (0 self) – Add To MetaCart
-
Locality and Non-interleaving Semantics in calculi for mobile processes
- Locality and Non-interleaving Semantics in calculi for mobile processes Davide Sangiorgi y
- Cited by 23 (5 self) – Add To MetaCart

