Davide Sangiorgi

Davide Sangiorgi

Università di Bologna - Bologna / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1791644
University of Bologna
person_outline Davide Sangiorgi's MOST POPULAR ARTICLES
1-) Expressing mobility in process algebras: first-order and higher-order paradigms The University of Edinburgh, 1993
2-) Typing and subtyping for mobile processes Mathematical Structures in Computer Science 6 (5), 409-453, 1996
3-) Barbed bisimulation International Colloquium on Automata, Languages, and Programming, 685-695, 1992
4-) An introduction to bisimulation and coinduction Cambridge University Press, 2011
5-) An introduction to bisimulation and coinductionD SangiorgiCambridge University Press, 20114842011