D. Sangiorgi, The Bisimulation Proof Method: Enhancements and Open Problems, in: Lecture Notes in Computer Science, BERLIN, Springer, 2006, 4037, pp. 18 - 19 (atti di: Formal Methods for Open Object-Based Distributed Systems,
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Giugno 14-16) [Contribution to conference proceedings]
N. Mezzetti; D. Sangiorgi, Towards a Calculus For Wireless Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 158, pp. 331 - 353 [Scientific article]
Y. Deng; D. Sangiorgi, Towards an algebraic theory of typed mobile processes, «THEORETICAL COMPUTER SCIENCE», 2006, 350, pp. 188 - 212 [Scientific article]
D. Hirschkoff; D. Pous; D. Sangiorgi, A Correct Abstract Machine for Safe Ambients., in: Lecture Notes in Computer Science, BERLIN, Springer, 2005, 3454, pp. 17 - 32 (atti di: COORDINATION 2005, Namur, Belgium, April 20-23, 2005,) [Contribution to conference proceedings]
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]
