Team focus

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

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 $ \pi$ -calculus: a Theory of Mobile Processes, Cambridge University Press, 2001.

Publications of the year

Doctoral Dissertations and Habilitation Theses

[10]
R. Demangeon.
Termination for Concurrent Languages, Ecole Normale Supérieure de Lyon and University of Bologna, 2010.
[11]
J. A. Perez.
Higher-Order Concurrency: Expressiveness and Decidability Results, University of Bologna, 2010.
[12]
A. Vitale.
Expressiveness in biologically inspired language, University of Bologna, 2010.

Articles in International Peer-Reviewed Journal

[13]
L. Cardelli, G. Zavattaro.
Turing universality of the Biochemical Ground Form, in: Mathematical Structures in Computer Science, 2010, vol. 20, no 1, p. 45–73.
http://dx.doi.org/10.1017/S0960129509990259
[14]
U. Dal Lago, M. Hofmann.
A Semantic Proof of Polytime Soundness for Light Affine Logic, in: Theory of Computing Systems, 2010, vol. 46, no 4, p. 673-689.
http://dx.doi.org/10.1007/s00224-009-9210-x
[15]
U. Dal Lago, A. Masini, M. Zorzi.
Quantum Implicit Computational Complexity, in: Theoretical Computer Science, 2010, vol. 411, no 2, p. 377-409.
http://dx.doi.org/10.1016/j.tcs.2009.07.045
[16]
M. Gabbrielli, J. Mauro, M. C. Meo, J. Sneyers.
Decidability properties for fragments of CHR, in: TPLP, 2010, vol. 10, no 4-6, p. 611-626.
http://arxiv.org/abs/1007.4476
[17]
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.
[18]
I. Lanese, J. A. Perez, D. Sangiorgi, A. Schmitt.
On the Expressiveness and Decidability of Higher-Order Process Calculi, in: Inf. Comput., 2010, To appear.
[19]
I. Lanese, D. Sangiorgi.
An operational semantics for a calculus for wireless systems, in: Theor. Comput. Sci., 2010, vol. 411, no 19, p. 1928–1948.

Articles in Non Peer-Reviewed Journal

[20]
J. A. Perez.
Higher-Order Concurrency: Expressiveness and Decidability Results – A Survey, in: Bulletin of the EATCS, June 2010, vol. 101, p. 92–124.

Invited Conferences

[21]
M. Cimini, C. S. Coen, D. Sangiorgi.
Functions as processes: termination and the lambda mu mu  - calculus, in: Proceedings of TGC 2010, 5th International Symposium on Trustworty Global Computing, A. R. Martin Hofmann (editor), LNCS, Springer, 2010, vol. 6084, p. 73–86.
http://www.cs.unibo.it/~sangio/DOC_public/lambdamu.pdf
[22]
I. Lanese, F. Montesi.
Error Handling: From Theory to Practice, in: Proceedings of ISOLA 2010, 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, T. Margaria, B. Steffen (editors), LNCS, Springer, 2010, vol. 6416, p. 66-81.
http://www.cs.unibo.it/~lanese/publications/fulltext/isola2010.pdf.gz

International Peer-Reviewed Conference/Proceedings

[23]
L. Acciai, M. Boreale, G. Zavattaro.
Behavioural Contracts with Request-Response Operations, in: COORDINATION, Lecture Notes in Computer Science, Springer, 2010, vol. 6116, p. 16-30.
http://dx.doi.org/10.1007/978-3-642-13414-2_2
[24]
L. Acciai, M. Boreale, G. Zavattaro.
On the Relationship between Spatial Logics and Behavioral Simulations, in: FOSSACS, Lecture Notes in Computer Science, Springer, 2010, vol. 6014, p. 146-160.
http://dx.doi.org/10.1007/978-3-642-12032-9_11
[25]
P. Baillot, M. Gaboardi, V. Mogbil.
A PolyTime Functional Language from Light Linear Logic, in: ESOP 2010, LNCS, Springer, 2010, vol. 6012, p. 104-124.
http://www.cs.unibo.it/~gaboardi/publication/BaillotGaboardiMogbil10esop.pdf
[26]
M. Bravetti, C. D. Giusto, J. A. Perez, G. Zavattaro.
A Calculus for Component Evolvability (Extended Abstract), in: Formal Aspects of Component Software (FACS 2010), Lecture Notes in Computer Science, Springer, 2010, to appear.
http://www.cs.unibo.it/~bravetti/papers/facs10.pdf
[27]
R. Bruni, A. Kersten, I. Lanese, G. Spagnolo.
A new Strategy for Distributed Compensations with Interruption in Long-Running Transactions, in: Proceedings of WADT 2010, 2010, submitted.
[28]
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), 2010, to appear.
[29]
U. Dal Lago, S. Martini.
Derivational Complexity is an Invariant Cost Model, in: Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, LNCS, 2010, vol. 6324, p. 88 – 101.
http://www.cs.unibo.it/~martini/papers-to-ftp/dcicm.pdf
[30]
U. Dal Lago, S. Martini, D. Sangiorgi.
Light Logics and Higher-Order Processes, in: 17th International Workshop on Expressiveness in Concurrency, EXPRESS 2010, EPTCS, 2010, To appear.
[31]
U. Dal Lago, S. Martini, M. Zorzi.
General Ramified Recurrence is Sound for Polynomial Time, in: Developments in Implicit Computational complexity, DICE 2010, EPTCS, 2010, vol. 23, p. 47–62.
http://arxiv.org/abs/1005.0521v1
[32]
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.
[33]
G. Delzanno, A. Sangnier, G. Zavattaro.
Parameterized Verification of Ad Hoc Networks, in: CONCUR, Lecture Notes in Computer Science, Springer, 2010, vol. 6269, p. 313-327.
http://dx.doi.org/10.1007/978-3-642-15375-4_22
[34]
R. Demangeon, D. Hirschkoff, D. Sangiorgi.
Termination in Impure Concurrent Languages, in: Proc. of CONCUR, LNCS, Springer Verlag, 2010, vol. 6269, p. 328–342.
http://perso.ens-lyon.fr/romain.demangeon/Recherche/impfun.pdf
[35]
M. Gaboardi, R. Péchoux.
Global and Local Space Properties of Stream Programs, in: FOPARA'09, LNCS, 2010, vol. 6324, p. 51 – 66.
http://www.cs.unibo.it/~gaboardi/publication/GaboardiPechoux10fopara.pdf
[36]
M. Gaboardi, M. Piccolo.
Categorical Models for a Semantically Linear $ \lambda$ -calculus, in: LINEARITY'09, EPTCS, 2010, vol. 22, p. 1 – 13.
http://www.cs.unibo.it/~gaboardi/publication/GaboardiPiccolo10linearity.pdf
[37]
A. Gehlert, A. Bucchiarone, R. Kazhamiakin, A. Metzger, M. Pistore, K. Pohl.
Exploiting assumption-based verification for the adaptation of service-based applications, in: Proc. ACM Symposium on Applied Computing (SAC), ACM, 2010, p. 2430–2437.
[38]
E. Giachino.
On Semantic Subtyping and Safe Object-Oriented Sessions, in: Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS'10), 2010, to appear.
[39]
D. Hirschkoff, D. Pous.
On Bisimilarity and Substitution in Presence of Replication, in: Proc. ICALP, LNCS, Springer Verlag, 2010, vol. 6199, p. 454–465.
http://hal.archives-ouvertes.fr/docs/00/49/17/66/PDF/seeds.pdf
[40]
R. Kazhamiakin, V. Kerhet, M. Paolucci, M. Pistore, M. Wagner.
Use-Based Discovery of Pervasive Services, in: 14th Int. Conf. on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA), Lecture Notes in Computer Science, Springer, 2010, vol. 6304, p. 11–20.
[41]
I. Lanese, A. Bucchiarone, F. Montesi.
A Framework for Rule-based Dynamic Adaptation, in: Proceedings of TGC 2010, 5th International Symposium on Trustworty Global Computing, A. R. Martin Hofmann (editor), LNCS, Springer, 2010, vol. 6084, p. 284–300.
http://www.cs.unibo.it/~lanese/publications/fulltext/tgc2010.pdf.gz
[42]
I. Lanese.
Static vs Dynamic SAGAs, in: Proceedings of ICE 2010, 3rd Interaction and Concurrency Experience, S. Bliudze, R. Bruni, D. Grohmann, A. Silva (editors), Electronic Proceedings in Theoretical Computer Science, 2010, vol. 38, p. 51–65.
http://www.cs.unibo.it/~lanese/publications/fulltext/ice2010.pdf.gz
[43]
I. Lanese, C. A. Mezzina, J.-B. Stefani.
Reversing Higher-Order Pi, in: CONCUR, P. Gastin, F. Laroussinie (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6269, p. 478–493.
http://www.cs.unibo.it/~lanese/publications/fulltext/concur2010.pdf.gz
[44]
I. Lanese, J. A. Perez, D. Sangiorgi, A. Schmitt.
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi, in: Proc. of ICALP'10, Lecture Notes in Computer Science, Springer, 2010, vol. 6199, p. 442–453.
[45]
I. Lanese, C. Vaz, C. Ferreira.
On the Expressive Power of Primitives for Compensation Handling, in: ESOP, A. D. Gordon (editor), Lecture Notes in Computer Science, Springer, 2010, vol. 6012, p. 366–386.
http://www.cs.unibo.it/~lanese/publications/fulltext/esop2010.pdf.gz
[46]
C. Laneve, T. A. Lascu, V. Sordoni.
The Interval Analysis of Multilinear Expressions, in: Proc. Tools for Automatic Program AnalysiS (TAPAS), October 2010, vol. 267, p. 43–53.
[47]
C. Laneve, A. Vitale.
The Expressive Power of Synchronizations, in: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, IEEE Computer Society, 2010, p. 382–391.
[48]
F. Montesi, D. Sangiorgi.
A model of evolvable components, in: Proceedings of TGC 2010, 5th International Symposium on Trustworty Global Computing, A. R. Martin Hofmann (editor), LNCS, Springer, 2010, vol. 6084, p. 153–171.
http://www.cs.unibo.it/~sangio/DOC_public/evolv.pdf

Scientific Books (or Scientific Book chapters)

[49]
M. Gabbrielli, S. Martini.
Programming Languages: Principles and Paradigms, Springer, 2010.

Other Publications

[50]
P. Baillot, P. Coppola, U. Dal Lago.
Light Logics and Optimal Reduction: Completeness and Complexity, 2010, Submitted.
[51]
M. Bravetti.
File Managing and Program Execution in Web Operating Systems, 2010, Submitted.
http://arxiv.org/abs/1005.5045
[52]
M. Bravetti, C. D. Giusto, J. A. Perez, G. Zavattaro.
Bounded and Eventual Adaptation for Evolvable Components, 2010, submitted.
http://www.cs.unibo.it/~bravetti/papers/esop11.pdf
[53]
U. Dal Lago, M. Hofmann.
Bounded Linear Logic, Revisited, 2010, Submitted.
[54]
M. Gabbrielli, C. Guidi, J. Mauro, F. Montesi.
An efficient management of correlation sets, 2010, Submitted.
[55]
M. Gaboardi, J.-Y. Marion, S. R. D. Rocca.
An implicit characterization of PSPACE, 2010, Submitted.
http://www.cs.unibo.it/~gaboardi/publication/GaboardiMarionRonchi10pspace.pdf
[56]
M. Gaboardi, L. Paolini, M. Piccolo.
Full Abstraction for a Linear PCF, 2010, Submitted.
http://www.cs.unibo.it/~gaboardi/publication/GaboardiPaoliniPiccolo10slpcf.pdf

References in notes

[57]
Web Services Business Process Execution Language Version 2.0 OASIS Standard, OASIS, 2007.
http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf
[58]
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.
[59]
A. Igarashi, N. Kobayashi.
Resource usage analysis, in: POPL conference, ACM Press, 2002, p. 331–342.
[60]
K. Pohl, G. Böckle, F. van der Linden.
Software Product Line Engineering: Foundations, Principles, and Techniques Objects, Springer Verlag, 2005.
[61]
D. Sangiorgi.
On the origins of bisimulation and coinduction, in: ACM Trans. Program. Lang. Syst., 2009, vol. 31, no 4.

previous
next