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]
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
