Project Team Focus

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


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, p. 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, p. 1191-1222.
[3]
S. Carpineti, C. Laneve, L. Padovani.
PiDuce - a project for experimenting Web services technologies, in: Science of Computer Programming, 2009, vol. 74, no 10, p. 777–811.
[4]
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, p. 219-260.
[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. Hofmann.
Quantitative Models and Implicit Complexity, in: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, R. Ramanujam, S. Sen (editors), Lecture Notes in Computer Science, Springer, 2005, vol. 3821, p. 189-200.
[7]
F. Montesi, C. Guidi, G. Zavattaro.
Composing Services with JOLIE, in: Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007, p. 13-22.
[8]
B. Pierce, D. Sangiorgi.
Behavioral equivalence in the polymorphic pi-calculus, in: Journal of the ACM, 2000, vol. 47, no 3, p. 531–584.
[9]
D. Sangiorgi, D. Walker.
The π-calculus: a Theory of Mobile Processes, Cambridge University Press, 2001.
Publications of the year

Articles in International Peer-Reviewed Journal

[10]
P. Baillot, P. Coppola, U. D. Lago.
Light logics and optimal reduction: Completeness and complexity, in: Inf. Comput., 2011, vol. 209, no 2, p. 118-142.
http://dx.doi.org/10.1016/j.ic.2010.10.002
[11]
L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino, B. Venneri.
Deriving Session and Union Types for Objects, in: Mathematical Structures in Computer Science, 2011, To appear.
[12]
L. Cardelli, C. Laneve.
Reversibility in Massive Concurrent Systems, in: Scientific Annals of Computer Science, 2011, vol. XXI(2), p. 175-198.
http://www.infoiasi.ro/bin/download/Annals/XXI2/XXI2_0.pdf
[13]
U. D. Lago, M. Hofmann.
Realizability models and implicit complexity, in: Theor. Comput. Sci., 2011, vol. 412, no 20, p. 2029-2047.
http://dx.doi.org/10.1016/j.tcs.2010.12.025
[14]
I. Lanese, J. A. Pérez, D. Sangiorgi, A. Schmitt.
On the expressiveness and decidability of higher-order process calculi, in: Inf. Comput., 2011, vol. 209, no 2, p. 198–226.
[15]
D. Sangiorgi, N. Kobayashi, E. Sumii.
Environmental bisimulations for higher-order languages, in: ACM Trans. Program. Lang. Syst., 2011, vol. 33, no 1, 5 p.

Articles in Non Peer-Reviewed Journal

[16]
U. D. Lago, A. Masini, M. Zorzi.
Confluence Results for a Quantum Lambda Calculus with Measurements, in: Electr. Notes Theor. Comput. Sci., 2011, vol. 270, no 2, p. 251-261.
http://dx.doi.org/10.1016/j.entcs.2011.01.035

Invited Conferences

[17]
L. Cardelli, C. Laneve.
Reversibility in Massive Concurrent Systems, in: Proceedings of 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011), 2011, vol. abs/1108.3419, p. 3-4.
http://arxiv.org/abs/1108.3419
[18]
G. Delzanno, A. Sangnier, G. Zavattaro.
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols, in: PACO, EPTCS, 2011, vol. 60, p. 56-65.

International Conferences with Proceedings

[19]
M. Bravetti, C. D. Giusto, J. A. Pérez, G. Zavattaro.
Adaptable Processes (Extended Abstract), in: FMOODS/FORTE Conf. on Formal Techniques for Distributed Systems, Lecture Notes in Computer Science, Springer, 2011, vol. 6722, p. 90-105.
[20]
M. Bravetti, C. D. Giusto, Jorge A. Pérez, G. Zavattaro.
Steps on The Road to Component Evolvability, in: Formal Aspects of Component Software (FACS 2010), Lecture Notes in Computer Science, Springer, 2011, vol. 6921, p. 295-3299.
[21]
R. Bruni, A. Kersten, I. Lanese, G. Spagnolo.
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions, in: Proc. of WADT 2010, Lecture Notes in Computer Science, Springer, 2011, vol. 7137, p. 42-60, to appear.
[22]
A. Bucchiarone, M. Pistore, H. Raik, R. Kazhamiakin.
Adaptation of Service-based Business Processes by Context-Aware Replanning, in: IEEE International Conference on Service Oriented Computing & Applications (SOCA 2011), 2011, to appear.
[23]
S. Capecchi, E. Giachino, N. Yoshida.
Global Escape in Multiparty Sessions, in: Proceedings of the 30th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'10), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011, vol. 8, p. 338–351.
[24]
L. Cardelli, C. Laneve.
Reversible Structures, in: CMSB '11: Proceedings of the 9th International Conference on Computational Methods in Systems Biology, New York, NY, USA, ACM, 2011, p. 131-140.
http://www.cs.unibo.it/~laneve/papers/ReversibleStructures.pdf
[25]
I. Cristescu, D. Hirschkoff.
Termination in a Pi-calculus with Subtyping, in: Proceedings 18th International Workshop on Expressiveness in Concurrency, EPTCS, 2011, vol. 64, p. 44–58.
[26]
U. Dal Lago, S. Martini, D. Sangiorgi.
Light Logics and Higher-Order Processes, in: 17th International Workshop on Expressiveness in Concurrency, EXPRESS 2010, EPTCS, 2011, p. 46–60.
[27]
G. Delzanno, A. Sangnier, G. Zavattaro.
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks, in: FOSSACS, Lecture Notes in Computer Science, Springer, 2011, vol. 6604, p. 441-455.
[28]
R. Demangeon, D. Hirschkoff, D. Sangiorgi.
Termination in impure lambda-calculus, in: Fundamentals of Software Engineering, Lecture Notes in Computer Science, Springer, 2011, to appear.
http://perso.ens-lyon.fr/romain.demangeon/Recherche/impfun2.pdf
[29]
E. Giachino, C. Laneve.
Analysis of Deadlocks in Object Groups, in: FMOODS/FORTE, 2011, p. 168–182.
[30]
E. B. Johnsen, I. Lanese, G. Zavattaro.
Fault in the Future, in: Proc. of COORDINATION 2011, W. D. Meuter, G.-C. Roman (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6721, p. 1-15.
http://www.cs.unibo.it/~lanese/publications/fulltext/coordination2011.pdf.gz
[31]
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, p. 133-142.
http://www.cs.unibo.it/~gaboardi/publication/DalLagoGaboardi11lics.pdf
[32]
U. D. Lago, P. D. Giamberardino.
Soft Session Types, in: Proceedings 18th International Workshop on Expressiveness in Concurrency, EPTCS, 2011, vol. 64, p. 59-73.
http://dx.doi.org/10.4204/EPTCS.64.5
[33]
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, p. 297-311.
http://www.cs.unibo.it/~lanese/publications/fulltext/concur2011.pdf.gz
[34]
M. Lienhardt, I. Lanese, M. Bravetti, D. Sangiorgi, G. Zavattaro, Y. Welsch, J. Schafer, A. Poetzsch-Heffter.
A Component Model for the ABS Language, in: Formal Methods for Components and Objects (FMCO) 2010, Lecture Notes in Computer Science, Springer, 2011, vol. 6957, p. 165-185.
http://www.cs.unibo.it/~lanese/publications/fulltext/fmco2010.pdf.gz
[35]
J. Mauro, M. Gabbrielli, C. Guidi, F. Montesi.
An Efficient Management of Correlation Sets with Broadcast, in: COORDINATION, 2011, p. 80-94.
[36]
F. Montesi, M. Carbone.
Programming services with correlation sets, in: ICSOC., 2011, to appear.
http://www.itu.dk/~fabr/icsoc2011/
[37]
M. Patrignani, D. Clarke, D. Sangiorgi.
Ownership Types for the Join Calculus, in: FMOODS/FORTE Conf. on Formal Techniques for Distributed Systems, R. Bruni, J. Dingel (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6722, p. 289–303.
[38]
M. D. Preda, M. Gabbrielli, I. Lanese, J. Mauro, G. Zavattaro.
Graceful Interruption of Request-response Service Interactions, in: Proc. of ICSOC 2011, Lecture Notes in Computer Science, Springer, 2011, vol. 7084.
http://www.cs.unibo.it/~lanese/publications/fulltext/icsoc2011.pdf.gz
[39]
M. D. Preda, C. D. Giusto.
Hunting Distributed Malware with the κ-Calculus, in: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Lecture Notes in Computer Science, Springer, 2011, vol. 6914, p. 102-113.
[40]
A. Sirbu, A. Marconi, M. Pistore, H. Eberle, F. Leymann, T. Unger.
Dynamic Composition of Pervasive Process Fragments, in: IEEE International Conference on Web Services (ICWS 2011), 2011, p. 73-80.

Scientific Books (or Scientific Book chapters)

[41]
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, M. Wirsing, M. Holzl (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6582, chap. 5.3, p. 408-427.
http://www.cs.unibo.it/~lanese/publications/fulltext/bookSens-tools.pdf.gz
[42]
M. Boreale, M. Bravetti.
Advanced mechanisms for service composition, query and discovery, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M. Wirsing, M. Holzl (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6582.
[43]
L. Caires, R. D. Nicola, R. Pugliese, V. T. Vasconcelos, G. Zavattaro.
Core Calculi for Service-Oriented Computing, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M. Wirsing, M. Holzl (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6582.
[44]
C. Ferreira, I. Lanese, A. Ravara, H. T. Vieira, G. Zavattaro.
Advanced Mechanisms for Service Combination and Transactions, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M. Wirsing, M. Holzl (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6582, chap. 4.3, p. 302-325.
http://www.cs.unibo.it/~lanese/publications/fulltext/bookSens-trans.pdf.gz
[45]
I. Lanese, A. Ravara, H. T. Vieira.
Behavioural Theory for Session-oriented Calculi, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M. Wirsing, M. Holzl (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6582, chap. 3.2, p. 189-213.
http://www.cs.unibo.it/~lanese/publications/fulltext/bookSens-behav.pdf.gz
[46]
D. Pous, D. Sangiorgi.
Enhancements of the bisimulation proof method, in: Advanced Topics in Bisimulation and Coinduction, D. Sangiorgi, J. Rutten (editors), Cambridge University Press, 2012, To appear.
[47]
D. Sangiorgi.
Introduction to Bisimulation and Coinduction, Cambridge University Press, 2012, To appear.
[48]
D. Sangiorgi.
Origins of Bisimulation and Coinduction, in: Advanced Topics in Bisimulation and Coinduction, D. Sangiorgi, J. Rutten (editors), Cambridge University Press, 2012, To appear.

Books or Proceedings Editing

[49]
D. Sangiorgi, J. Rutten (editors)
Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012, To appear.

Other Publications

[50]
M. Carbone, F. Montesi.
Typed Multiparty Global Programming, 2011, Submitted.
[51]
U. D. Lago, P. P. Toldin.
A Higher-Order Characterization of Probabilistic Polynomial Time, 2011, Submitted.
[52]
I. Lanese, F. Montesi, G. Zavattaro.
Classifying Relationships between Interaction- and Process-Oriented Choreographies, 2011, submitted.
[53]
I. Lanese, C. Vaz, C. Ferreira.
On the Expressive Power of Primitives for Compensation Handling, 2011, submitted.
http://www.cs.unibo.it/~lanese/publications/fulltext/ic2011-comp.pdf.gz
[54]
M. Lienhardt, D. Clarke.
Row Types for Delta-Oriented Programming, 2011, Submitted.
[55]
M. D. Preda, M. Gabbrielli, C. Guidi, J. Mauro, F. Montesi.
Theory and practice of interface-based service composition, 2011, submitted.
References in notes
[56]
M. 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, p. 127–151.
[57]
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, p. 205-225.
[58]
A. Igarashi, N. Kobayashi.
Resource usage analysis, in: POPL conference, ACM Press, 2002, p. 331–342.
[59]
N. Kobayashi, D. Sangiorgi.
A hybrid type system for lock-freedom of mobile processes, in: ACM Trans. Program. Lang. Syst., 2010, vol. 32, no 5.
[60]
K. Pohl, G. Böckle, F. van der Linden.
Software Product Line Engineering: Foundations, Principles, and Techniques Objects, Springer Verlag, 2005.