R. Demangeon; D. Hirschkoff; D. Sangiorgi, Termination in Impure Concurrent Languages, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6269, pp. 328 - 342 (atti di: CONCUR 2010 - 21th International Conference on Concurrency Theory, Paris, Francia, August 31-September 3, 2010.) [Contribution to conference proceedings]
R. Demangeon; D. Hirschkoff; D. Sangiorgi, Mobile Processes and Termination, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5700, pp. 250 - 273 (atti di: Semantics and Algebraic Specification, Essays Dedicated
to Peter D. Mosses on the Occasion of His 60th Birthday, Udine, Settembre 7-10, 2009) [Contribution to conference proceedings]
Ivan Lanese;Jorge A. Perez;Davide Sangiorgi;Alan Schmitt, On the Expressiveness of Polyadicity in Higher-Order Process Calculi, in: Theoretical Computer Science, 11th Italian Conference, 2009, pp. 143 - 149 (atti di: Theoretical Computer Science, 11th Italian Conference, Cremona, September 28-30, 2009) [Contribution to conference proceedings]
D. Sangiorgi, On the origins of bisimulation and coinduction, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2009, 31, number 4, article 41, pp. 1 - 41 [Scientific article]
R. Demangeon. D. Hirschkoff; D. Sangiorgi, Termination in Higher-Order Concurrent Calculi, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5961, pp. 81 - 96 (atti di: Fundamentals of Software Engineering, Third IPM International
Conference, Kish Island, Iran, April 15-17, 2009) [Contribution to conference proceedings]
E. Elsborg; T. T. Hildebrandt; D. Sangiorgi, Type Systems for Bigraphs, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5474, pp. 126 - 140 (atti di: Trustworthy Global Computing, 4th International Symposium, Barcelona, Spain, November 3-4, 2008) [Contribution to conference proceedings]
N. Kobayashi; D. Sangiorgi, A Hybrid Type System for Lock-Freedom of Mobile Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 5123, pp. 80 - 93 (atti di: 20th International Conference on Computer Aided Verification (CAV'08), Princeton, NJ, USA, July 7-14) [Contribution to conference proceedings]
R. Demangeon; D. l Hirschkoff; N. Kobayashi; D. Sangiorgi, On the Complexity of Termination Inference for Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 4912, pp. 140 - 155 (atti di: Trustworthy Global Computing (TGC 2007), Sophia-Antipolis, France, November 5-6, 2007) [Contribution to conference proceedings]
I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness and Decidability of Higher-Order Process Calculi, in: LICS'08, LOS ALAMITOS, IEEE Computer Society, 2008, pp. 145 - 155 (atti di: Twenty-Third Annual IEEE Symposium on
Logic in Computer Science, LICS 2008,, Pittsburgh, USA, 24-27 June 2008) [Contribution to conference proceedings]
Coordination of a Research Project: Sensoria.
Daniel Hirschkoff; Etienne Lozes; Davide Sangiorgi, Separability in the Ambient Logic, «LOGICAL METHODS IN COMPUTER SCIENCE», 2008, 4, pp. 1 - 44 [Scientific article]Open Access
R. Demangeon; D. Hirschkoff; D. Sangiorgi, Static and dynamic typing for the termination of mobile processes, in: IFIP, BERLIN, Springer, 2008, 273, pp. 413 - 427 (atti di: Fifth IFIP International Conference On Theoretical Computer
Science (TCS 2008) of IFIP 20th World Computer Congress, Milano, September 7-10, 2008) [Contribution to conference proceedings]
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 [Scientific article]
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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
