A. Carayol; D. Hirschkoff; D. Sangiorgi, On the representation of McCarthy's amb in the Pi-calculus, «THEORETICAL COMPUTER SCIENCE», 2005, 330, pp. 439 - 473 [articolo]
R. De Nicola; D. Sangiorgi, Trustworthy Global Computing, International Symposium, LNCS 3705, BERLINO, Springer, 2005, pp. 369 (Lecture Notes in Computer Science). [curatela]
R. De Nicola; D. Sangiorgi, Types in concurrency, «ACTA INFORMATICA», 2005, 42, pp. 79 - 89 [articolo]
D. Sangiorgi, Bisimulation: From The Origins to Today, in: LICS 2004, LOS ALAMITOS, IEEE Computer Society, 2004, pp. 298 - 302 (atti di: 19th IEEE Symposium on Logic in Computer Science, Turku, Finland, 14-17 July 2004) [Contributo in Atti di convegno]
SANGIORGI D.; MERRO M., On asynchrony in name-passing calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2004, 14, pp. 715 - 767 [articolo]
SANGIORGI D.; MERRO M., On asynchrony in name-passing calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2004, 14, pp. 715 - 767 [articolo]
A. Carayol; D. Hirschkoff; D.Sangiorgi, On the Representation of McCarthy's amb in the pi-calculus, in: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2004, 96, pp. 73 - 89 (atti di: 10th International Workshop on Expressiveness in Concurrency, Marseille; France, 2 September 2003 through 2 September 2003) [Contributo in Atti di convegno]
Y. Deng; D. Sangiorgi, Towards an Algebraic Theory of Typed Mobile Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2004, 3142, pp. 445 - 456 (atti di: ICALP 2004, Turku, Finland, July 12-16, 2004.) [Contributo in Atti di convegno]
