D. Hirschkoff; D. Pous; D. Sangiorgi, An efficient abstract machine for Safe Ambients, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 71(2), pp. 114 - 149 [articolo]
D. Sangiorgi; N. i Kobayashi; E. Sumii, Environmental Bisimulations for Higher-Order Languages, in: LICS 07, LOS ALAMITOS, IEEE Computer Society, 2007, pp. 293 - 302 (atti di: 22nd IEEE Symposium on Logic in Computer Science, Wroclaw, Polonia, Luglio 2007) [Contributo in Atti di convegno]
D. Sangiorgi; N. Kobayashi; E. Sumii, Logical Bisimulations and Functional Languages, in: Lecture Notes in Computer Science, BERLIN, Springer, 2007, 4767, pp. 364 - 379 (atti di: International Symposium on Fundamentals of
Software Engineering (FSEN 2007), Teheran (Iran), April 2007) [Contributo in Atti di convegno]
D. Sangiorgi, Beyond Bisimulation: The "up-to" Techniques, in: Lecture Notes in Computer Science, BERLIN, Springer, 2006, 411, pp. 161 - 171 (atti di: Formal Methods for Components and Objects, 4th International Symposium, Amsterdam, Novembre 2005) [Contributo in Atti di convegno]
D. Sangiorgi, Bisimulation and Co-induction: Some Problems, in: , 2006, 162, pp. 311 - 315 (atti di: Proceedings of the Workshop "Essays on Algebraic Process Calculi", Bertinoro, Agosto 2006) [Contributo in Atti di convegno]
Y. Deng; D. Sangiorgi, Ensuring termination by typability, «INFORMATION AND COMPUTATION», 2006, 204, pp. 1045 - 1082 [articolo]
D. Hirschkoff; E. Lozes; D. Sangiorgi, On the Expressiveness of the Ambient Logic, «LOGICAL METHODS IN COMPUTER SCIENCE», 2006, 2 [articolo]
P. Giannini; D. Sangiorgi; A. Valente, Safe Ambients: Abstract machine and distributed implementation, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 59, pp. 209 - 249 [articolo]
M. Boreale; R. Bruni;
L. Caires; R. De Nicola; I. Lanese; M. Loreti;
F. Martins;
U. Montanari; A. Ravara;
D. Sangiorgi; V. Vasconcelos; G. Zavattaro;, SCC: a Service Centered Calculus, in: M. BRAVETTI, G. ZAVATTARO, Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 38 - 57 (atti di: Third International Workshop on Web Services and Formal Methods, Vienna, 8-9 Settembre 2006) [Contributo in Atti di convegno]
Sangiorgi D., Termination of processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2006, 16, pp. 1 - 39 [articolo]
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) [Contributo in Atti di convegno]
N. Mezzetti; D. Sangiorgi, Towards a Calculus For Wireless Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 158, pp. 331 - 353 [articolo]
Y. Deng; D. Sangiorgi, Towards an algebraic theory of typed mobile processes, «THEORETICAL COMPUTER SCIENCE», 2006, 350, pp. 188 - 212 [articolo]
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,) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
