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, n^o 4, p. 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, n^o 6, p. 1191-1222.
3S. Carpineti, C. Laneve, L. Padovani.

PiDuce - a project for experimenting Web services technologies, in: Science of Computer Programming, 2009, vol. 74, n^o 10, p. 777–811.
4P. Coppola, S. Martini.

Optimizing optimal reduction: A type inference algorithm for elementary affine logic, in: ACM Trans. Comput. Log., 2006, vol. 7, n^o 2, p. 219-260.
5D. Hirschkoff, É. Lozes, D. Sangiorgi.

On the Expressiveness of the Ambient Logic, in: Logical Methods in Computer Science, 2006, vol. 2, n^o 2.
6U. 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.
7F. Montesi, C. Guidi, G. Zavattaro.

Composing Services with JOLIE, in: Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007, p. 13-22.
8B. Pierce, D. Sangiorgi.

Behavioral equivalence in the polymorphic pi-calculus, in: Journal of the ACM, 2000, vol. 47, n^o 3, p. 531–584.
9D. Sangiorgi, D. Walker.

The $π$ -calculus: a Theory of Mobile Processes, Cambridge University Press, 2001.

Publications of the year

Articles in International Peer-Reviewed Journal

10P. Baillot, P. Coppola, U. D. Lago.

Light logics and optimal reduction: Completeness and complexity, in: Inf. Comput., 2011, vol. 209, n^o 2, p. 118-142.

http://dx.doi.org/10.1016/j.ic.2010.10.002
11L. 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.
12L. 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
13U. D. Lago, M. Hofmann.

Realizability models and implicit complexity, in: Theor. Comput. Sci., 2011, vol. 412, n^o 20, p. 2029-2047.

http://dx.doi.org/10.1016/j.tcs.2010.12.025
14I. 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, n^o 2, p. 198–226.
15D. Sangiorgi, N. Kobayashi, E. Sumii.

Environmental bisimulations for higher-order languages, in: ACM Trans. Program. Lang. Syst., 2011, vol. 33, n^o 1, 5 p.

Articles in Non Peer-Reviewed Journal

16U. D. Lago, A. Masini, M. Zorzi.

Confluence Results for a Quantum Lambda Calculus with Measurements, in: Electr. Notes Theor. Comput. Sci., 2011, vol. 270, n^o 2, p. 251-261.

http://dx.doi.org/10.1016/j.entcs.2011.01.035

Invited Conferences

17L. 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
18G. 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

19M. 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.
20M. 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.
21R. 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.
22A. 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.
23S. 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.
24L. 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
25I. 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.
26U. 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.
27G. 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.
28R. 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
29E. Giachino, C. Laneve.

Analysis of Deadlocks in Object Groups, in: FMOODS/FORTE, 2011, p. 168–182.
30E. 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
31U. 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
32U. 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
33I. 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
34M. 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
35J. Mauro, M. Gabbrielli, C. Guidi, F. Montesi.

An Efficient Management of Correlation Sets with Broadcast, in: COORDINATION, 2011, p. 80-94.
36F. Montesi, M. Carbone.

Programming services with correlation sets, in: ICSOC., 2011, to appear.

http://www.itu.dk/~fabr/icsoc2011/
37M. 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.
38M. 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
39M. 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.
40A. 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)

41M. 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
42M. 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.
43L. 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.
44C. 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
45I. 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
46D. 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.
47D. Sangiorgi.

Introduction to Bisimulation and Coinduction, Cambridge University Press, 2012, To appear.
48D. 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

49D. Sangiorgi, J. Rutten (editors)

Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012, To appear.

Other Publications

50M. Carbone, F. Montesi.

Typed Multiparty Global Programming, 2011, Submitted.
51U. D. Lago, P. P. Toldin.

A Higher-Order Characterization of Probabilistic Polynomial Time, 2011, Submitted.
52I. Lanese, F. Montesi, G. Zavattaro.

Classifying Relationships between Interaction- and Process-Oriented Choreographies, 2011, submitted.
53I. 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
54M. Lienhardt, D. Clarke.

Row Types for Delta-Oriented Programming, 2011, Submitted.
55M. D. Preda, M. Gabbrielli, C. Guidi, J. Mauro, F. Montesi.

Theory and practice of interface-based service composition, 2011, submitted.

References in notes

56M. Carbone, K. Honda, N. Yoshida.

A Calculus of Global Interaction based on Session Types, in: Electr. Notes Theor. Comput. Sci., 2007, vol. 171, n^o 3, p. 127–151.
57U. 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.
58A. Igarashi, N. Kobayashi.

Resource usage analysis, in: POPL conference, ACM Press, 2002, p. 331–342.
59N. Kobayashi, D. Sangiorgi.

A hybrid type system for lock-freedom of mobile processes, in: ACM Trans. Program. Lang. Syst., 2010, vol. 32, n^o 5.
60K. Pohl, G. Böckle, F. van der Linden.

Software Product Line Engineering: Foundations, Principles, and Techniques Objects, Springer Verlag, 2005.

Previous |

Home