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 D.; MERRO M., On asynchrony in name-passing calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2004, 14, pp. 715 - 767 [Scientific article]
SANGIORGI D.; 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]
