M. Bartoletti; L. Caires; I. Lanese; F. Mazzanti; D. Sangiorgi; H. T. Vieira; R. Zunino, Tools and Verification, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 408 - 427 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
N. Kobayashi; D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2010, 32, pp. 1 - 49 [Scientific article]
F.Montesi; D. Sangiorgi, A Model of Evolvable Components, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6084, pp. 153 - 171 (atti di: 5th International Symposium on Trustworthly Global Computing - TGC 2010, Munich, Germany, February 24-26, 2010) [Contribution to conference proceedings]
I. Lanese; D. Sangiorgi, An operational semantics for a calculus for wireless systems, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1928 - 1948 [Scientific article]
M. Cimini; C. Sacerdoti Coen; D. Sangiorgi, Functions as Processes: Termination and the lambda mu mu~ - Calculus, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6084, pp. 73 - 86 (atti di: 5th International Symposium on Trustworthly Global Computing - TGC 2010, Munich, Germany, February 24-26, 2010) [Contribution to conference proceedings]
U. Dal Lago; S. Martini; D. Sangiorgi, Light Logics and Higher-Order Processes, in: , «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2010, 41, pp. 46 - 60 (atti di: 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, 30th August 2010) [Contribution to conference proceedings]
I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi, in: Automata, Languages and Programming : Proceedings, BERLIN, Springer, 2010, 6199, pp. 442 - 453 (atti di: 37th International Colloquium Automata, Languages and Programming (ICALP 2010), Bordeaux, France, July 6-10, 2010) [Contribution to conference proceedings]
R. Demangeon; D. Hirschkoff; D. Sangiorgi, Termination in higher-order concurrent calculi, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2010, 79, pp. 550 - 577 [Scientific article]
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]
