FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


Bibliography

Major publications by the team in recent years
  • 1M. Bravetti, G. Zavattaro.

    A Foundational Theory of Contracts for Multi-party Service Composition, in: Fundam. Inform., 2008, vol. 89, no 4, pp. 451-478.
  • 2N. Busi, M. Gabbrielli, G. Zavattaro.

    On the expressive power of recursion, replication and iteration in process calculi, in: Mathematical Structures in Computer Science, 2009, vol. 19, no 6, pp. 1191-1222.
  • 3P. Coppola, S. Martini.

    Optimizing optimal reduction: A type inference algorithm for elementary affine logic, in: ACM Trans. Comput. Log., 2006, vol. 7, no 2, pp. 219-260.
  • 4M. Gabbrielli, S. Martini.

    Programming Languages: Principles and Paradigms, Springer, 2010.
  • 5D. Hirschkoff, É. Lozes, D. Sangiorgi.

    On the Expressiveness of the Ambient Logic, in: Logical Methods in Computer Science, 2006, vol. 2, no 2.
  • 6U. D. Lago, M. Gaboardi.

    Linear Dependent Types and Relative Completeness, in: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, IEEE Computer Society, 2011, pp. 133-142.
  • 7I. Lanese, C. A. Mezzina, J. Stefani.

    Reversibility in the higher-order π-calculus, in: Theor. Comput. Sci., 2016, vol. 625, pp. 25–84.

    https://doi.org/10.1016/j.tcs.2016.02.019
  • 8F. Montesi, C. Guidi, G. Zavattaro.

    Composing Services with JOLIE, in: Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007, pp. 13-22.
  • 9D. Sangiorgi.

    An introduction to Bisimulation and Coinduction, Cambridge University Press, 2012.
Publications of the year

Articles in International Peer-Reviewed Journals

  • 10R. Amadini, M. Gabbrielli, J. Mauro.

    SUNNY-CP and the MiniZinc challenge, in: Theory and Practice of Logic Programming, January 2018, vol. 18, no 01, pp. 81 - 96. [ DOI : 10.1017/S1471068417000205 ]

    https://hal.inria.fr/hal-01931324
  • 11M. Avanzini, U. Dal Lago.

    On sharing, memoization, and polynomial time, in: Information and Computation, August 2018, vol. 261, pp. 3 - 22. [ DOI : 10.1016/j.ic.2018.05.003 ]

    https://hal.archives-ouvertes.fr/hal-01926431
  • 12F. Barbanera, I. Lanese, U. De'Liguoro.

    A theory of retractable and speculative contracts, in: Science of Computer Programming, December 2018, vol. 167, pp. 25 - 50. [ DOI : 10.1016/j.scico.2018.06.005 ]

    https://hal.inria.fr/hal-01912858
  • 13M. Bravetti.

    Reduction Semantics in Markovian Process Algebra, in: Journal of Logical and Algebraic Methods in Programming, 2018, vol. 96, pp. 41-64. [ DOI : 10.1016/j.jlamp.2018.01.002 ]

    https://hal.inria.fr/hal-01921194
  • 14M. Bravetti, M. Carbone, G. Zavattaro.

    On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping, in: Theoretical Computer Science, 2018, vol. 722, pp. 19-51. [ DOI : 10.1016/j.tcs.2018.02.010 ]

    https://hal.inria.fr/hal-01921168
  • 15F. S. De Boer, M. Bravetti, M. D. Lee, G. Zavattaro.

    A Petri Net Based Modeling of Active Objects and Futures, in: Fundamenta Informaticae, 2018, vol. 159, no 3, pp. 197-256. [ DOI : 10.3233/FI-2018-1663 ]

    https://hal.inria.fr/hal-01919136
  • 16I. Lanese, N. Nishida, A. Palacios, G. Vidal.

    A theory of reversibility for Erlang, in: Journal of Logical and Algebraic Methods in Programming, November 2018, vol. 100, pp. 71 - 97. [ DOI : 10.1016/j.jlamp.2018.06.004 ]

    https://hal.inria.fr/hal-01912856
  • 17D. Sangiorgi, X. Xu.

    Trees from functions as processes, in: Logical Methods in Computer Science, August 2018, https://arxiv.org/abs/1804.05797. [ DOI : 10.2168/LMCS-14(3:11)2018 ]

    https://hal.inria.fr/hal-01931186

Invited Conferences

  • 18I. Lanese.

    From Reversible Semantics to Reversible Debugging, in: Reversible Computation, Leicester, United Kingdom, Lecture Notes in Computer Science, September 2018, vol. 11106.

    https://hal.inria.fr/hal-01912920
  • 19D. Sangiorgi.

    Bisimilarity via unique-solution techniques, in: 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 2018.

    https://hal.inria.fr/hal-01931203

International Conferences with Proceedings

  • 20M. Avanzini, U. Dal Lago, A. Yamada.

    On Probabilistic Term Rewriting, in: Functional and Logic Programming - 14th International Symposium, Proceedings, Nagoya, Japan, May 2018.

    https://hal.archives-ouvertes.fr/hal-01926502
  • 21R. Borchia, A. Carbonaro, G. Casadei, L. Forlizzi, M. Lodi, S. Martini.

    Problem Solving Olympics: an inclusive education model for learning Informatics, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, Lecture Notes in Computer Science, October 2018, vol. 11169, pp. 319–335. [ DOI : 10.1007/978-3-030-02750-6_25 ]

    https://hal.inria.fr/hal-01913064
  • 22M. Bravetti, G. Zavattaro.

    Foundations of Coordination and Contracts and Their Contribution to Session Type Theory, in: 20th International Conference on Coordination Languages and Models (COORDINATION), Madrid, Spain, G. D. M. Serugendo, M. Loreti (editors), Coordination Models and Languages, Springer International Publishing, June 2018, vol. LNCS-10852, pp. 21-50. [ DOI : 10.1007/978-3-319-92408-3_2 ]

    https://hal.inria.fr/hal-01821498
  • 23F. Breuvart, U. Dal Lago.

    On Intersection Types and Probabilistic Lambda Calculi, in: 20th International Symposium on Principles and Practice of Declarative Programming, Frankfurt am Main, Germany, ACM Press, September 2018. [ DOI : 10.1145/3236950.3236968 ]

    https://hal.archives-ouvertes.fr/hal-01926420
  • 24I. Corradini, M. Lodi, E. Nardelli.

    An Investigation of Italian Primary School Teachers' View on Coding and Programming, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, Lecture Notes in Computer Science, October 2018, vol. 11169, pp. 228–243. [ DOI : 10.1007/978-3-030-02750-6_18 ]

    https://hal.inria.fr/hal-01913059
  • 25U. Dal Lago, G. Vanoni.

    On Randomised Strategies in the λ-Calculus, in: 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 2018.

    https://hal.archives-ouvertes.fr/hal-01926512
  • 26A. Durier, D. Hirschkoff, D. Sangiorgi.

    Eager Functions as Processes, in: the 33rd Annual ACM/IEEE Symposium, Oxford, United Kingdom, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, ACM Press, July 2018. [ DOI : 10.1145/3209108.3209152 ]

    https://hal.archives-ouvertes.fr/hal-01917255
  • 27L. Forlizzi, M. Lodi, V. Lonati, C. Mirolo, M. Monga, A. Montresor, A. Morpurgo, E. Nardelli.

    A Core Informatics Curriculum for Italian Compulsory Education, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, Lecture Notes in Computer Science, October 2018, vol. 11169, pp. 141–153. [ DOI : 10.1007/978-3-030-02750-6_11 ]

    https://hal.inria.fr/hal-01913057
  • 28M. Gabbrielli, S. Giallorenzo, I. Lanese, S. P. Zingaro.

    A Language-based Approach for Interoperability of IoT Platforms, in: Hawaii International Conference on System Science, Waikoloa Village, United States, November 2018.

    https://hal.inria.fr/hal-01912958
  • 29F. Gavazzo.

    Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances, in: LICS '18- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, July 2018. [ DOI : 10.1145/3209108.3209149 ]

    https://hal.inria.fr/hal-01926069
  • 30S. Giallorenzo, I. Lanese, D. Russo.

    ChIP: a Choreographic Integration Process, in: On the Move to Meaningful Internet Systems, La Valletta, Malta, October 2018.

    https://hal.inria.fr/hal-01912917
  • 31S. Giallorenzo, F. Montesi, M. Gabbrielli.

    Applied Choreographies, in: 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Madrid, Spain, C. Baier, L. Caires (editors), Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing, June 2018, vol. LNCS-10854, pp. 21-40. [ DOI : 10.1007/978-3-319-92612-4_2 ]

    https://hal.inria.fr/hal-01824812
  • 32I. Lanese, N. Nishida, A. Palacios, G. Vidal.

    CauDEr: A Causal-Consistent Reversible Debugger for Erlang, in: Functional and Logic Programming, Nagoya, Japan, May 2018.

    https://hal.inria.fr/hal-01912894
  • 33C. Laneve.

    A lightweight deadlock analysis for programs with threads and reentrant locks, in: 22nd International Symposium on Formal Methods, Oxford, United Kingdom, July 2018.

    https://hal.inria.fr/hal-01926509
  • 34M. Lodi.

    Can Creative Computing foster Growth Mindset?, in: Joint Proceedings of the 1st Co-Creation in the Design, Development and Implementation of Technology-Enhanced Learning workshop (CC-TEL 2018) and Systems of Assessments for Computational Thinking Learning workshop (TACKLE 2018) co-located with 13th European Conference on Technology Enhanced Learning (ECTEL 2018), Leeds, United Kingdom, CEUR Workshop Proceedings, September 2018, vol. 2190.

    https://hal.inria.fr/hal-01913053
  • 35M. Monga, M. Lodi, D. Malchiodi, A. Morpurgo, B. Spieler.

    Learning to program in a constructionist way, in: Proceedings of Constructionism 2018, Vilnius, Lithuania, August 2018.

    https://hal.inria.fr/hal-01913065
  • 36C. Tian, D. Sangiorgi.

    Unique solutions of contractions, CCS, and their HOL formalisation, in: Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, Beijing, China, September 2018, vol. 276, pp. 122 - 139. [ DOI : 10.4204/EPTCS.276.10 ]

    https://hal.inria.fr/hal-01931199

National Conferences with Proceedings

  • 37M. Lodi.

    Computational Thinking: from "samba schools of computation" to CoderDojos, in: Atti del convegno DIDAMATICA 2018, Cesena, Italy, April 2018.

    https://hal.inria.fr/hal-01913063

Other Publications

  • 38I. Corradini, M. Lodi, E. Nardelli.

    Coding and Programming: What Do Italian Primary School Teachers Think? (Abstract Only), ACM Press, February 2018, SIGCSE '18 - Proceedings of the 49th ACM Technical Symposium on Computer Science Education, Poster. [ DOI : 10.1145/3159450.3162268 ]

    https://hal.inria.fr/hal-01913062
  • 39A. Durier, D. Hirschkoff, D. Sangiorgi.

    Eager Functions as Processes, March 2018, working paper or preprint. [ DOI : 10.1145/3209108.3209152 ]

    https://hal.archives-ouvertes.fr/hal-01736696
  • 40A. Durier, D. Hirschkoff, D. Sangiorgi.

    Towards 'up to context' reasoning about higher-order processes, August 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01857391
References in notes
  • 41M. Carbone, K. Honda, N. Yoshida.

    A Calculus of Global Interaction based on Session Types, in: Electr. Notes Theor. Comput. Sci., 2007, vol. 171, no 3, pp. 127–151.
  • 42A. Igarashi, N. Kobayashi.

    Resource usage analysis, in: POPL conference, ACM Press, 2002, pp. 331–342.
  • 43N. Kobayashi, D. Sangiorgi.

    A hybrid type system for lock-freedom of mobile processes, in: ACM Trans. Program. Lang. Syst., 2010, vol. 32, no 5.
  • 44I. C. C. Phillips, I. Ulidowski.

    Reversing algebraic process calculi, in: J. Log. Algebr. Program., 2007, vol. 73, no 1-2, pp. 70–96.

    https://doi.org/10.1016/j.jlap.2006.11.002