Y. Deng; D. Sangiorgi, Ensuring Termination by Typability, in: International Conference on Theoretical Computer Science, s.l, Kluwer, 2005, pp. 619 - 632 (atti di: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, Toulouse, France, 22-27 August 2004) [Contribution to conference proceedings]
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 [Scientific article]
R. De Nicola; D. Sangiorgi, Trustworthy Global Computing, International Symposium, LNCS 3705, BERLINO, Springer, 2005, pp. 369 (Lecture Notes in Computer Science). [Editorship]
R. De Nicola; D. Sangiorgi, Types in concurrency, «ACTA INFORMATICA», 2005, 42, pp. 79 - 89 [Scientific article]
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) [Contribution to conference proceedings]
Sangiorgi, Davide; Merro, M., On asynchrony in name-passing calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2004, 14, pp. 715 - 767 [Scientific article]
Sangiorgi, Davide; Merro, M., On asynchrony in name-passing calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2004, 14, pp. 715 - 767 [Scientific article]
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, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 96, pp. 73 - 89 (atti di: 10th International Workshop on Expressiveness in Concurrency, Marseille; France, 2 September 2003 through 2 September 2003) [Contribution to conference proceedings]
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.) [Contribution to conference proceedings]
