Sangiorgi, Davide
Sangiorgi, Davide, 1964-....
Davide Sangiorgi Italian computer scientist
VIAF ID: 9335147 ( Personal )
Permalink: http://viaf.org/viaf/9335147
Preferred Forms
- 100 0 _ ‡a Davide Sangiorgi ‡c Italian computer scientist
- 100 1 _ ‡a Sangiorgi, Davide
- 100 1 _ ‡a Sangiorgi, Davide
-
-
-
-
-
-
-
- 100 1 _ ‡a Sangiorgi, Davide
-
-
- 100 1 _ ‡a Sangiorgi, Davide, ‡d 1964-....
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Axiomatisations et types pour des processus probabilistes et mobiles | |
CONCUR'98 : concurrency theory : 9th international conference, Nice, France, September 8-11, 1998 : proceedings | |
concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility. | |
Équivalences comportementales typées dans le pi-calcul. | |
Expressing mobility in process algebras : first-order and higher-order paradigms | |
Higher-order languages : dualities and bisimulation enhancements | |
An introduction to bisimulation and coinduction, 2011: | |
Langages d'ordre supérieur : dualités et techniques de bisimulation. | |
Locality in the pi-calculus and applications to distributed objetcs. | |
The [pi]-calculus, 2001: | |
Réversibilité dans le pi calcul d'ordre supérieur | |
Termination of concurrent systems. | |
Trustworthy global computing : International symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers | |
Type systems for bigraphs | |
Typed Behavioural Equivalences in the Pi-Calculus | |
Unique solution techniques for processes and functions | |
The π-calculus : a Theory of Mobile Processes |