Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
M. Bravetti, G. Zavattaro.
A Foundational Theory of Contracts for Multi-party Service Composition, in: Fundam. Inform., 2008, vol. 89, no 4, pp. 451-478.
[2]
N. 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.
[3]
P. 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.
[4]
M. Gabbrielli, S. Martini.
Programming Languages: Principles and Paradigms, Springer, 2010.
[5]
D. Hirschkoff, É. Lozes, D. Sangiorgi.
On the Expressiveness of the Ambient Logic, in: Logical Methods in Computer Science, 2006, vol. 2, no 2.
[6]
U. 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.
http://www.cs.unibo.it/~gaboardi/publication/DalLagoGaboardi11lics.pdf
[7]
I. Lanese, C. A. Mezzina, A. Schmitt, J.-B. Stefani.
Controlling Reversibility in Higher-Order Pi, in: Proc. of CONCUR 2011, J.-P. Katoen, B. König (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6901, pp. 297-311.
http://www.cs.unibo.it/~lanese/publications/fulltext/concur2011.pdf.gz
[8]
F. Montesi, C. Guidi, G. Zavattaro.
Composing Services with JOLIE, in: Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007, pp. 13-22.
[9]
D. Sangiorgi.
An introduction to Bisimulation and Coinduction, Cambridge University Press, 2012.
Publications of the year

Doctoral Dissertations and Habilitation Theses

[10]
M. Alberti.
On operational properties of quantitative extensions of λ-calculus, Aix Marseille Université ; Università di Bologna, December 2014.
https://hal.inria.fr/tel-01096067
[11]
O. Dardha.
Type Systems for Distributed Programs: Components and Sessions, Università degli studi di Bologna, May 2014.
https://tel.archives-ouvertes.fr/tel-01020998
[12]
G. Pellitta.
Extending Implicit Computational Complexity and Abstract Machines to Languages with Control, Università di Bologna, May 2014.
https://hal.inria.fr/tel-01090624

Articles in International Peer-Reviewed Journals

[13]
R. Amadini, M. Gabbrielli, J. Mauro.
SUNNY: a Lazy Portfolio Approach for Constraint Solving, in: Theory and Practice of Logic Programming (TPLP), July 2014, pp. 509-524.
https://hal.inria.fr/hal-01088489
[14]
U. Dal Lago, B. Petit.
Linear dependent types in a call-by-value scenario, in: Science of Computer Programming, 2014, 24 p. [ DOI : 10.1145/2370776.2370792 ]
https://hal.inria.fr/hal-01091610
[15]
F. De Boer, M. M. Jaghoori, C. Laneve, G. Zavattaro.
Decidability problems for actor systems, in: Logical Methods in Computer Science, 2014, vol. 104, pp. 1 - 29. [ DOI : 10.2168/LMCS-10(4:5)2014 ]
https://hal.inria.fr/hal-01090952
[16]
R. Di Cosmo, J. Mauro, S. Zacchiroli, G. Zavattaro.
Aeolus: a Component Model for the Cloud, in: Information and Computation, January 2014, pp. 100–121.
https://hal.inria.fr/hal-01091062

Articles in Non Peer-Reviewed Journals

[17]
I. Lanese, C. A. Mezzina, F. Tiezzi.
Causal-Consistent Reversibility, in: Bulletin of the EATCS, November 2014, vol. 114, 17 p.
https://hal.inria.fr/hal-01089350

Invited Conferences

[18]
M. Bravetti, G. Zavattaro.
Choreographies and Behavioural Contracts on the Way to Dynamic Updates, in: Proceedings First Workshop on Logics and Model-checking for Self*-Systems, Bertinoro (FC), Italy, September 2014, pp. 12 - 31. [ DOI : 10.4204/EPTCS.168.2 ]
https://hal.inria.fr/hal-01090924
[19]
I. Lanese, M. Lienhardt, M. Bravetti, V. Stolz, R. Schlatte, E. B. Johnsen, G. Zavattaro.
Fault Model Design Space for Cooperative Concurrency, in: ISOLA, Corfu, Greece, Lecture Notes in Computer Science, Springer, October 2014, vol. 8803, pp. 22 - 36. [ DOI : 10.1007/978-3-662-45231-8_3 ]
https://hal.inria.fr/hal-01089341
[20]
D. Sangiorgi.
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract), in: Coalgebraic Methods in Computer Science, Grenoble, France, April 2014, pp. 3 - 9. [ DOI : 10.1007/978-3-662-44124-4_1 ]
https://hal.inria.fr/hal-01092815

International Conferences with Proceedings

[21]
B. Accattoli, U. D. Lago.
Beta Reduction is Invariant, Indeed, in: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, July 2014. [ DOI : 10.1145/2603088.2603105 ]
https://hal.inria.fr/hal-01091551
[22]
R. Amadini, M. Gabbrielli, J. Mauro.
An enhanced features extractor for a portfolio of constraint solvers, in: SAC 2014, Gyeongju, South Korea, March 2014, pp. 1357 - 1359. [ DOI : 10.1145/2554850.2555114 ]
https://hal.inria.fr/hal-01089183
[23]
R. Amadini, M. Gabbrielli, J. Mauro.
Portfolio Approaches for Constraint Optimization Problems, in: LION 8, Gainesville, Florida, United States, February 2014, pp. 21 - 35.
https://hal.inria.fr/hal-01088429
[24]
R. Amadini, P. J. Stuckey.
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers, in: CP - Principles and Practice of Constraint Programming, Lyon, France, September 2014, pp. 108 - 124. [ DOI : 10.1007/978-3-319-10428-7_11 ]
https://hal.inria.fr/hal-01091664
[25]
M. Bernardo, D. Sangiorgi, V. Vignudelli.
On the Discriminating Power of Passivation and Higher-Order Interaction, in: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, July 2014. [ DOI : 10.1145/2603088.2603113 ]
https://hal.inria.fr/hal-01089467
[26]
M. Bernardo, D. Sangiorgi, V. Vignudelli.
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems, in: QEST, Florence, Italy, Lecture Notes in Computer Science, September 2014, vol. 8657, pp. 281 - 296. [ DOI : 10.1007/978-3-319-10696-0_23 ]
https://hal.inria.fr/hal-01089484
[27]
M. Bravetti, M. Carbone, T. Hildebrandt, I. Lanese, J. Mauro, J. A. Perez, G. Zavattaro.
Towards Global and Local Types for Adaptation, in: SEFM 2013 Collocated Workshops, Madrid, Spain, Lecture Notes in Computer Science, Springer, 2014, vol. 8368, pp. 3 - 14. [ DOI : 10.1007/978-3-319-05032-4_1 ]
https://hal.inria.fr/hal-01089358
[28]
M. Carbone, O. Dardha, F. Montesi.
Progress as Compositional Lock-Freedom, in: Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION, Berlin, Germany, June 2014.
https://hal.inria.fr/hal-01090742
[29]
R. Crubillé, U. Dal Lago.
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi, in: 23rd European Symposium on Programming, Grenoble, France, April 2014. [ DOI : 10.1007/978-3-642-54833-8_12 ]
https://hal.inria.fr/hal-01091564
[30]
U. Dal Lago, C. Faggian, I. Hasuo, A. Yoshimizu.
The Geometry of Synchronization, in: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria, July 2014. [ DOI : 10.1145/2603088.2603154 ]
https://hal.inria.fr/hal-01091560
[31]
U. Dal Lago, D. Sangiorgi, M. Alberti.
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs, in: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, United States, January 2014. [ DOI : 10.1145/2535838.2535872 ]
https://hal.inria.fr/hal-01091573
[32]
U. Dal Lago, S. Zuppiroli.
Probabilistic Recursion Theory and Implicit Computational Complexity, in: 11th International Colloquium on Theoretical Aspects of Computing, Bucharest, Romania, September 2014. [ DOI : 10.1007/978-3-319-10882-7_7 ]
https://hal.inria.fr/hal-01091595
[33]
M. Dalla Preda, S. Giallorenzo, I. Lanese, J. Mauro, M. Gabbrielli.
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications, in: SLE 2014, Västerås, Sweden, September 2014, pp. 161 - 170. [ DOI : 10.1007/978-3-319-11245-9_9 ]
https://hal.inria.fr/hal-01089187
[34]
M. Gabbrielli, S. Giallorenzo, F. Montesi.
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns, in: 11th International Symposium on Distributed Computing and Artificial Intelligence, Salamanca, Spain, June 2014. [ DOI : 10.1007/978-3-319-07593-8_17 ]
https://hal.inria.fr/hal-01090128
[35]
E. Giachino, N. Kobayashi, C. Laneve.
Deadlock Analysis of Unbounded Process Networks, in: CONCUR - Concurrency Theory - 25th International Conference, Rome, Italy, September 2014, pp. 63 - 77. [ DOI : 10.1007/978-3-662-44584-6_6 ]
https://hal.inria.fr/hal-01091749
[36]
E. Giachino, I. Lanese, C. A. Mezzina.
Causal-Consistent Reversible Debugging, in: FASE, Grenoble, France, Lecture Notes in Computer Science, Springer, April 2014, vol. 8411, pp. 370 - 384. [ DOI : 10.1007/978-3-642-54804-8_26 ]
https://hal.inria.fr/hal-01089270
[37]
E. Giachino, C. Laneve.
Deadlock Detection in Linear Recursive Programs, in: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), Bertinoro, Italy, June 2014, pp. 26 - 64. [ DOI : 10.1007/978-3-319-07317-0_2 ]
https://hal.inria.fr/hal-01091747
[38]
E. Giachino, C. Laneve.
Towards the Typing of Resource Deployment, in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA, Corfu, Greece, October 2014, pp. 88 - 103. [ DOI : 10.1007/978-3-662-45231-8_7 ]
https://hal.inria.fr/hal-01091748
[39]
C. Guidi, S. Giallorenzo, M. Gabbrielli.
Towards a Composition-based APIaaS Layer, in: CLOSER - The 4th International Conference on Cloud Computing and Service, Barcelona, Spain, April 2014. [ DOI : 10.1007/978-3-319-07593-8_17 ]
https://hal.inria.fr/hal-01090125
[40]
J.-M. Madiot, D. Pous, D. Sangiorgi.
Bisimulations Up-to: Beyond First-Order Transition Systems, in: The 25th Conference on Concurrency Theory (CONCUR), Rome, Italy, September 2014, pp. 93 - 108. [ DOI : 10.1007/978-3-662-44584-6_8 ]
https://hal.inria.fr/hal-01090509
[41]
D. Sangiorgi.
Equations, contractions, and unique solutions, in: Proceedings POPL, Mombay, India, January 2015. [ DOI : 10.1145/2676726.2676965 ]
https://hal.archives-ouvertes.fr/hal-01089205
[42]
D. Sangiorgi, X. Xu.
Trees from Functions as Processes, in: 25th International Conference on Concurrency Theory, Rome, Italy, September 2014, pp. 78 - 92. [ DOI : 10.1007/978-3-662-44584-6_7 ]
https://hal.inria.fr/hal-01092809
[43]
M. Solieri.
Geometry of Resource Interaction, in: Proceedings Third International Workshop on Linearity, Vienna, Austria, Electronic Proceedings in Theoretical Computer Science, July 2014, forthcoming.
https://hal-univ-paris13.archives-ouvertes.fr/hal-01091754
[44]
A. Yoshimizu, I. Hasuo, C. Faggian, U. Dal Lago.
Measurements in Proof Nets as Higher-Order Quantum Circuits, in: 23rd European Symposium on Programming, Grenoble, France, April 2014, pp. 371 - 391. [ DOI : 10.1007/978-3-642-54833-8_20 ]
https://hal.inria.fr/hal-01091582

Scientific Books (or Scientific Book chapters)

[45]
Proceedings 7th Interaction and Concurrency Experience, Electronic Proceedings in Theoretical Computer Science, October 2014, vol. 166. [ DOI : 10.4204/EPTCS.166 ]
https://hal.inria.fr/hal-01089381
[46]
F. Montesi, C. Guidi, G. Zavattaro.
Service-Oriented Programming with Jolie, in: Web Services Foundations, A. Bouguettaya, Q. Z. Sheng, F. Daniel (editors), Springer, 2014, pp. 81-107.
https://hal.inria.fr/hal-00909323

Internal Reports

[47]
R. Di Cosmo, A. Eiche, J. Mauro, G. Zavattaro, S. Zacchiroli, J. Zwolakowski.
Automatic Deployment of Software Components in the Cloud with the Aeolus Blender, Inria Sophia Antipolis, January 2015.
https://hal.inria.fr/hal-01103806
[48]
J.-M. Madiot, D. Pous, D. Sangiorgi.
Bisimulations up-to: beyond first-order transition systems, March 2014.
https://hal.archives-ouvertes.fr/hal-00990859

Other Publications

[49]
D. Hirschkoff, J.-M. Madiot, X. Xu.
A behavioural theory for a pi-calculus with preorders, February 2014.
https://hal.archives-ouvertes.fr/hal-00949521
[50]
I. Lanese, C. A. Mezzina, J.-B. Stefani.
Reversibility in the higher-order π-calculus, June 2014.
https://hal.inria.fr/hal-01081714
References in notes
[51]
U. Dal Lago, U. Schöepp.
Functional Programming in Sublinear Space, in: Programming Languages and Systems, 19th European Symposium, Proceedings, Lecture Notes in Computer Science, Springer, 2010, vol. 6012, pp. 205-225.