BibTeX records: Luca Padovani

download as .bib file

@article{DBLP:journals/acta/DamianiPSS18,
  author    = {Ferruccio Damiani and
               Luca Padovani and
               Ina Schaefer and
               Christoph Seidl},
  title     = {A core calculus for dynamic delta-oriented programming},
  journal   = {Acta Inf.},
  volume    = {55},
  number    = {4},
  pages     = {269--307},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00236-017-0293-6},
  doi       = {10.1007/s00236-017-0293-6},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/acta/DamianiPSS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Padovani18,
  author    = {Luca Padovani},
  title     = {A type checking algorithm for concurrent object protocols},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {100},
  pages     = {16--35},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jlamp.2018.06.001},
  doi       = {10.1016/j.jlamp.2018.06.001},
  timestamp = {Sat, 06 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/Padovani18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/Padovani18,
  author    = {Luca Padovani},
  title     = {Deadlock-Free Typestate-Oriented Programming},
  journal   = {Programming Journal},
  volume    = {2},
  number    = {3},
  pages     = {15},
  year      = {2018},
  url       = {https://doi.org/10.22152/programming-journal.org/2018/2/15},
  doi       = {10.22152/programming-journal.org/2018/2/15},
  timestamp = {Fri, 11 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/programming/Padovani18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/deLiguoroP18,
  author    = {Ugo de'Liguoro and
               Luca Padovani},
  title     = {Mailbox Types for Unordered Interactions},
  booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
               July 16-21, 2018, Amsterdam, The Netherlands},
  pages     = {15:1--15:28},
  year      = {2018},
  crossref  = {DBLP:conf/ecoop/2018},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.15},
  doi       = {10.4230/LIPIcs.ECOOP.2018.15},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/deLiguoroP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/2018,
  editor    = {Marco Aldinucci and
               Luca Padovani and
               Massimo Torquati},
  title     = {Euro-Par 2018: Parallel Processing - 24th International Conference
               on Parallel and Distributed Computing, Turin, Italy, August 27-31,
               2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11014},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96983-1},
  doi       = {10.1007/978-3-319-96983-1},
  isbn      = {978-3-319-96982-4},
  timestamp = {Mon, 20 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/europar/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04167,
  author    = {Ugo de'Liguoro and
               Luca Padovani},
  title     = {Mailbox Types for Unordered Interactions},
  journal   = {CoRR},
  volume    = {abs/1801.04167},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.04167},
  archivePrefix = {arXiv},
  eprint    = {1801.04167},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-04167},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10670,
  author    = {Luca Padovani},
  title     = {Deadlock-Free Typestate-Oriented Programming},
  journal   = {CoRR},
  volume    = {abs/1803.10670},
  year      = {2018},
  url       = {http://arxiv.org/abs/1803.10670},
  archivePrefix = {arXiv},
  eprint    = {1803.10670},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-10670},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Padovani17,
  author    = {Luca Padovani},
  title     = {A simple library implementation of binary sessions},
  journal   = {J. Funct. Program.},
  volume    = {27},
  pages     = {e4},
  year      = {2017},
  url       = {https://doi.org/10.1017/S0956796816000289},
  doi       = {10.1017/S0956796816000289},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/Padovani17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/SeveriPTD17,
  author    = {Paula Severi and
               Luca Padovani and
               Emilio Tuosto and
               Mariangiola Dezani{-}Ciancaglini},
  title     = {On Sessions and Infinite Data},
  journal   = {Logical Methods in Computer Science},
  volume    = {13},
  number    = {2},
  year      = {2017},
  url       = {https://doi.org/10.23638/LMCS-13(2:9)2017},
  doi       = {10.23638/LMCS-13(2:9)2017},
  timestamp = {Mon, 22 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/SeveriPTD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MelgrattiP17,
  author    = {Hern{\'{a}}n C. Melgratti and
               Luca Padovani},
  title     = {Chaperone contracts for higher-order sessions},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {35:1--35:29},
  year      = {2017},
  url       = {https://doi.org/10.1145/3110279},
  doi       = {10.1145/3110279},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/MelgrattiP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CrafaP17,
  author    = {Silvia Crafa and
               Luca Padovani},
  title     = {The Chemical Approach to Typestate-Oriented Programming},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {39},
  number    = {3},
  pages     = {13:1--13:45},
  year      = {2017},
  url       = {https://doi.org/10.1145/3064849},
  doi       = {10.1145/3064849},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/CrafaP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Padovani17,
  author    = {Luca Padovani},
  title     = {Context-Free Session Type Inference},
  booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  pages     = {804--830},
  year      = {2017},
  crossref  = {DBLP:conf/esop/2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1\_30},
  doi       = {10.1007/978-3-662-54434-1\_30},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esop/Padovani17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HuttelLVCCDMPRT16,
  author    = {Hans H{\"{u}}ttel and
               Ivan Lanese and
               Vasco T. Vasconcelos and
               Lu{\'{\i}}s Caires and
               Marco Carbone and
               Pierre{-}Malo Deni{\'{e}}lou and
               Dimitris Mostrous and
               Luca Padovani and
               Ant{\'{o}}nio Ravara and
               Emilio Tuosto and
               Hugo Torres Vieira and
               Gianluigi Zavattaro},
  title     = {Foundations of Session Types and Behavioural Contracts},
  journal   = {{ACM} Comput. Surv.},
  volume    = {49},
  number    = {1},
  pages     = {3:1--3:36},
  year      = {2016},
  url       = {https://doi.org/10.1145/2873052},
  doi       = {10.1145/2873052},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/HuttelLVCCDMPRT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
  author    = {Davide Ancona and
               Viviana Bono and
               Mario Bravetti and
               Joana Campos and
               Giuseppe Castagna and
               Pierre{-}Malo Deni{\'{e}}lou and
               Simon J. Gay and
               Nils Gesbert and
               Elena Giachino and
               Raymond Hu and
               Einar Broch Johnsen and
               Francisco Martins and
               Viviana Mascardi and
               Fabrizio Montesi and
               Rumyana Neykova and
               Nicholas Ng and
               Luca Padovani and
               Vasco T. Vasconcelos and
               Nobuko Yoshida},
  title     = {Behavioral Types in Programming Languages},
  journal   = {Foundations and Trends in Programming Languages},
  volume    = {3},
  number    = {2-3},
  pages     = {95--230},
  year      = {2016},
  url       = {https://doi.org/10.1561/2500000031},
  doi       = {10.1561/2500000031},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ftpl/AnconaBB0CDGGGH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CoppoDYP16,
  author    = {Mario Coppo and
               Mariangiola Dezani{-}Ciancaglini and
               Nobuko Yoshida and
               Luca Padovani},
  title     = {Global progress for dynamically interleaved multiparty sessions},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {2},
  pages     = {238--302},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000188},
  doi       = {10.1017/S0960129514000188},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/CoppoDYP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Padovani16,
  author    = {Luca Padovani},
  title     = {Fair subtyping for multi-party session types},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {3},
  pages     = {424--464},
  year      = {2016},
  url       = {https://doi.org/10.1017/S096012951400022X},
  doi       = {10.1017/S096012951400022X},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/Padovani16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SeveriPTD16,
  author    = {Paula Severi and
               Luca Padovani and
               Emilio Tuosto and
               Mariangiola Dezani{-}Ciancaglini},
  title     = {On Sessions and Infinite Data},
  booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2016, Held as Part of the 11th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
  pages     = {245--261},
  year      = {2016},
  crossref  = {DBLP:conf/coordination/2016},
  url       = {https://doi.org/10.1007/978-3-319-39519-7\_15},
  doi       = {10.1007/978-3-319-39519-7\_15},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/SeveriPTD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CrafaP16,
  author    = {Silvia Crafa and
               Luca Padovani},
  title     = {On the chemistry of typestate-oriented actors},
  journal   = {CoRR},
  volume    = {abs/1607.02927},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.02927},
  archivePrefix = {arXiv},
  eprint    = {1607.02927},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CrafaP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeveriPTD16,
  author    = {Paula Severi and
               Luca Padovani and
               Emilio Tuosto and
               Mariangiola Dezani{-}Ciancaglini},
  title     = {On Sessions and Infinite Data},
  journal   = {CoRR},
  volume    = {abs/1610.06362},
  year      = {2016},
  url       = {http://arxiv.org/abs/1610.06362},
  archivePrefix = {arXiv},
  eprint    = {1610.06362},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SeveriPTD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Padovani15,
  author    = {Luca Padovani},
  title     = {Type Reconstruction for the Linear {\(\pi\)}-Calculus with Composite
               Regular Types},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {4},
  year      = {2015},
  url       = {https://doi.org/10.2168/LMCS-11(4:13)2015},
  doi       = {10.2168/LMCS-11(4:13)2015},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Padovani15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LaneveP15,
  author    = {Cosimo Laneve and
               Luca Padovani},
  title     = {An algebraic theory for web service contracts},
  journal   = {Formal Asp. Comput.},
  volume    = {27},
  number    = {4},
  pages     = {613--640},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-015-0334-2},
  doi       = {10.1007/s00165-015-0334-2},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/LaneveP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PadovaniCT15,
  author    = {Luca Padovani and
               Tzu{-}Chun Chen and
               Andrea Tosatto},
  title     = {Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear
               {\(\pi\)}-Calculi},
  booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  pages     = {83--98},
  year      = {2015},
  crossref  = {DBLP:conf/coordination/2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6\_6},
  doi       = {10.1007/978-3-319-19282-6\_6},
  timestamp = {Wed, 14 Nov 2018 10:52:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/PadovaniCT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PadovaniN15,
  author    = {Luca Padovani and
               Luca Novara},
  title     = {Types for Deadlock-Free Higher-Order Programs},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
               as Part of the 10th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
               Proceedings},
  pages     = {3--18},
  year      = {2015},
  crossref  = {DBLP:conf/forte/2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9\_1},
  doi       = {10.1007/978-3-319-19195-9\_1},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/PadovaniN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CrafaP15,
  author    = {Silvia Crafa and
               Luca Padovani},
  title     = {The chemical approach to typestate-oriented programming},
  booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
               25-30, 2015},
  pages     = {917--934},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015},
  url       = {https://doi.org/10.1145/2814270.2814287},
  doi       = {10.1145/2814270.2814287},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/CrafaP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CoppoDPY15,
  author    = {Mario Coppo and
               Mariangiola Dezani{-}Ciancaglini and
               Luca Padovani and
               Nobuko Yoshida},
  title     = {A Gentle Introduction to Multiparty Asynchronous Session Types},
  booktitle = {Formal Methods for Multicore Programming - 15th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
               Lectures},
  pages     = {146--178},
  year      = {2015},
  crossref  = {DBLP:conf/sfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-18941-3\_4},
  doi       = {10.1007/978-3-319-18941-3\_4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/CoppoDPY15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PadovaniP15,
  author    = {Luca Padovani and
               Alessandro Provetti},
  title     = {Qsmodels: {ASP} Planning in Interactive Gaming Environment},
  journal   = {CoRR},
  volume    = {abs/1505.07263},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.07263},
  archivePrefix = {arXiv},
  eprint    = {1505.07263},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PadovaniP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JaksicP14,
  author    = {Svetlana Jaksic and
               Luca Padovani},
  title     = {Exception handling for copyless messaging},
  journal   = {Sci. Comput. Program.},
  volume    = {84},
  pages     = {22--51},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2013.05.001},
  doi       = {10.1016/j.scico.2013.05.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/JaksicP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PadovaniVV14,
  author    = {Luca Padovani and
               Vasco Thudichum Vasconcelos and
               Hugo Torres Vieira},
  title     = {Typing Liveness in Multiparty Communicating Systems},
  booktitle = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2014, Held as Part of the 9th International
               Federated Conferences on Distributed Computing Techniques, DisCoTec
               2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  pages     = {147--162},
  year      = {2014},
  crossref  = {DBLP:conf/coordination/2014},
  url       = {https://doi.org/10.1007/978-3-662-43376-8\_10},
  doi       = {10.1007/978-3-662-43376-8\_10},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/PadovaniVV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Padovani14,
  author    = {Luca Padovani},
  title     = {Deadlock and lock freedom in the linear {\(\pi\)}-calculus},
  booktitle = {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), {CSL-LICS} '14, Vienna, Austria,
               July 14 - 18, 2014},
  pages     = {72:1--72:10},
  year      = {2014},
  crossref  = {DBLP:conf/csl/2014},
  url       = {https://doi.org/10.1145/2603088.2603116},
  doi       = {10.1145/2603088.2603116},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/Padovani14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Padovani14,
  author    = {Luca Padovani},
  title     = {Type Reconstruction for the Linear {\(\pi\)}-Calculus with Composite
               and Equi-Recursive Types},
  booktitle = {Foundations of Software Science and Computation Structures - 17th
               International Conference, {FOSSACS} 2014, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
               Grenoble, France, April 5-13, 2014, Proceedings},
  pages     = {88--102},
  year      = {2014},
  crossref  = {DBLP:conf/fossacs/2014},
  url       = {https://doi.org/10.1007/978-3-642-54830-7\_6},
  doi       = {10.1007/978-3-642-54830-7\_6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/Padovani14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Castagna0XILP14,
  author    = {Giuseppe Castagna and
               Kim Nguyen and
               Zhiwu Xu and
               Hyeonseung Im and
               Sergue{\"{\i}} Lenglet and
               Luca Padovani},
  title     = {Polymorphic functions with set-theoretic types: part 1: syntax, semantics,
               and evaluation},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {5--18},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {https://doi.org/10.1145/2535838.2535840},
  doi       = {10.1145/2535838.2535840},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/Castagna0XILP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Dezani-CiancagliniPP14,
  author    = {Mariangiola Dezani{-}Ciancaglini and
               Luca Padovani and
               Jovanka Pantovic},
  title     = {Session Type Isomorphisms},
  booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
               and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
               12 April 2014.},
  pages     = {61--71},
  year      = {2014},
  crossref  = {DBLP:journals/corr/DonaldsonV14},
  url       = {https://doi.org/10.4204/EPTCS.155.9},
  doi       = {10.4204/EPTCS.155.9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Dezani-CiancagliniPP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CoppoDPY13,
  author    = {Mario Coppo and
               Mariangiola Dezani{-}Ciancaglini and
               Luca Padovani and
               Nobuko Yoshida},
  title     = {Inference of Global Progress Properties for Dynamically Interleaved
               Multiparty Sessions},
  booktitle = {Coordination Models and Languages, 15th International Conference,
               {COORDINATION} 2013, Held as Part of the 8th International Federated
               Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
               Italy, June 3-5, 2013. Proceedings},
  pages     = {45--59},
  year      = {2013},
  crossref  = {DBLP:conf/coordination/2013},
  url       = {https://doi.org/10.1007/978-3-642-38493-6\_4},
  doi       = {10.1007/978-3-642-38493-6\_4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/CoppoDPY13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BonoPT13,
  author    = {Viviana Bono and
               Luca Padovani and
               Andrea Tosatto},
  title     = {Polymorphic Types for Leak Detection in a Session-Oriented Functional
               Language},
  booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
               International Conference, {FMOODS/FORTE} 2013, Held as Part of the
               8th International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  pages     = {83--98},
  year      = {2013},
  crossref  = {DBLP:conf/forte/2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6\_7},
  doi       = {10.1007/978-3-642-38592-6\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/BonoPT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Padovani13,
  author    = {Luca Padovani},
  title     = {Fair Subtyping for Open Session Types},
  booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
               {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
  pages     = {373--384},
  year      = {2013},
  crossref  = {DBLP:conf/icalp/2013-2},
  url       = {https://doi.org/10.1007/978-3-642-39212-2\_34},
  doi       = {10.1007/978-3-642-39212-2\_34},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/Padovani13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LaneveP13,
  author    = {Cosimo Laneve and
               Luca Padovani},
  title     = {An Algebraic Theory for Web Service Contracts},
  booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
               Turku, Finland, June 10-14, 2013. Proceedings},
  pages     = {301--315},
  year      = {2013},
  crossref  = {DBLP:conf/ifm/2013},
  url       = {https://doi.org/10.1007/978-3-642-38613-8\_21},
  doi       = {10.1007/978-3-642-38613-8\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/LaneveP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Padovani13,
  author    = {Luca Padovani},
  title     = {From Lock Freedom to Progress Using Session Types},
  booktitle = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
               and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
               March 2013.},
  pages     = {3--19},
  year      = {2013},
  crossref  = {DBLP:journals/corr/YoshidaV13},
  url       = {https://doi.org/10.4204/EPTCS.137.2},
  doi       = {10.4204/EPTCS.137.2},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Padovani13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-2086,
  author    = {Viviana Bono and
               Luca Padovani},
  title     = {Typing Copyless Message Passing},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {1},
  year      = {2012},
  url       = {https://doi.org/10.2168/LMCS-8(1:17)2012},
  doi       = {10.2168/LMCS-8(1:17)2012},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1202-2086},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-0780,
  author    = {Giuseppe Castagna and
               Mariangiola Dezani{-}Ciancaglini and
               Luca Padovani},
  title     = {On Global Types and Multi-Party Session},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {1},
  year      = {2012},
  url       = {https://doi.org/10.2168/LMCS-8(1:24)2012},
  doi       = {10.2168/LMCS-8(1:24)2012},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1203-0780},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Padovani12,
  author    = {Luca Padovani},
  title     = {On projecting processes into session types},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {22},
  number    = {2},
  pages     = {237--289},
  year      = {2012},
  url       = {https://doi.org/10.1017/S0960129511000405},
  doi       = {10.1017/S0960129511000405},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/Padovani12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/DamianiPS12,
  author    = {Ferruccio Damiani and
               Luca Padovani and
               Ina Schaefer},
  title     = {A formal foundation for dynamic delta-oriented software product lines},
  booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden,
               Germany, September 26-28, 2012},
  pages     = {1--10},
  year      = {2012},
  crossref  = {DBLP:conf/gpce/2012},
  url       = {https://doi.org/10.1145/2371401.2371403},
  doi       = {10.1145/2371401.2371403},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/DamianiPS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/JaksicP12,
  author    = {Svetlana Jaksic and
               Luca Padovani},
  title     = {Exception handling for copyless messaging},
  booktitle = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
               Belgium - September 19 - 21, 2012},
  pages     = {151--162},
  year      = {2012},
  crossref  = {DBLP:conf/ppdp/2012},
  url       = {https://doi.org/10.1145/2370776.2370796},
  doi       = {10.1145/2370776.2370796},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/JaksicP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Padovani11,
  author    = {Luca Padovani},
  title     = {Fair Subtyping for Multi-party Session Types},
  booktitle = {Coordination Models and Languages - 13th International Conference,
               {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
  pages     = {127--141},
  year      = {2011},
  crossref  = {DBLP:conf/coordination/2011},
  url       = {https://doi.org/10.1007/978-3-642-21464-6\_9},
  doi       = {10.1007/978-3-642-21464-6\_9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/Padovani11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BonoMP11,
  author    = {Viviana Bono and
               Chiara Messa and
               Luca Padovani},
  title     = {Typing Copyless Message Passing},
  booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
               {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
               March 26-April 3, 2011. Proceedings},
  pages     = {57--76},
  year      = {2011},
  crossref  = {DBLP:conf/esop/2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5\_4},
  doi       = {10.1007/978-3-642-19718-5\_4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esop/BonoMP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CastagnaDP11,
  author    = {Giuseppe Castagna and
               Mariangiola Dezani{-}Ciancaglini and
               Luca Padovani},
  title     = {On Global Types and Multi-party Sessions},
  booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
               6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
               6-9, 2011. Proceedings},
  pages     = {1--28},
  year      = {2011},
  crossref  = {DBLP:conf/forte/2011},
  url       = {https://doi.org/10.1007/978-3-642-21461-5\_1},
  doi       = {10.1007/978-3-642-21461-5\_1},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/CastagnaDP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0466,
  author    = {Viviana Bono and
               Luca Padovani},
  title     = {Polymorphic Endpoint Types for Copyless Message Passing},
  booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
               Reykjavik, Iceland, 9th June 2011.},
  pages     = {52--67},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1108-0144},
  url       = {https://doi.org/10.4204/EPTCS.59.5},
  doi       = {10.4204/EPTCS.59.5},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-0466},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Padovani10,
  author    = {Luca Padovani},
  title     = {Contract-based discovery of Web services modulo simple orchestrators},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {37},
  pages     = {3328--3347},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2010.05.002},
  doi       = {10.1016/j.tcs.2010.05.002},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Padovani10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/BaldoniBBBMMMPPRRS10,
  author    = {Matteo Baldoni and
               Cristina Baroglio and
               Federico Bergenti and
               Antonio Boccalatte and
               Elisa Marengo and
               Maurizio Martelli and
               Viviana Mascardi and
               Luca Padovani and
               Viviana Patti and
               Alessandro Ricci and
               Gianfranco Rossi and
               Andrea Santi},
  title     = {{MERCURIO:} An Interaction-oriented Framework for Designing, Verifying
               and Programming Multi-Agent Systems},
  booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
               Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
               2, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/mallow/2010},
  url       = {http://ceur-ws.org/Vol-627/coin\_9.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/BaldoniBBBMMMPPRRS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BaldoniBBBMMMPPRRS10,
  author    = {Matteo Baldoni and
               Cristina Baroglio and
               Federico Bergenti and
               Antonio Boccalatte and
               Elisa Marengo and
               Maurizio Martelli and
               Viviana Mascardi and
               Luca Padovani and
               Viviana Patti and
               Alessandro Ricci and
               Gianfranco Rossi and
               Andrea Santi},
  title     = {{MERCURIO:} An Interaction-oriented Framework for Designing, Verifying
               and Programming Multi-Agent Systems},
  booktitle = {Proceedings of the 11th {WOA} 2010 Workshop, Dagli Oggetti Agli Agenti,
               Rimini, Italy, September 5-7, 2010.},
  year      = {2010},
  crossref  = {DBLP:conf/woa/2010},
  url       = {http://ceur-ws.org/Vol-621/paper13.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/woa/BaldoniBBBMMMPPRRS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-4429,
  author    = {Luca Padovani},
  title     = {Session Types = Intersection Types + Union Types},
  booktitle = {Proceedings Fifth Workshop on Intersection Types and Related Systems,
               {ITRS} 2010, Edinburgh, U.K., 9th July 2010.},
  pages     = {71--89},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1101-4104},
  url       = {https://doi.org/10.4204/EPTCS.45.6},
  doi       = {10.4204/EPTCS.45.6},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1101-4429},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CarpinetiLP09,
  author    = {Samuele Carpineti and
               Cosimo Laneve and
               Luca Padovani},
  title     = {PiDuce - {A} project for experimenting Web services technologies},
  journal   = {Sci. Comput. Program.},
  volume    = {74},
  number    = {10},
  pages     = {777--811},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.scico.2009.03.002},
  doi       = {10.1016/j.scico.2009.03.002},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/CarpinetiLP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CastagnaGP09,
  author    = {Giuseppe Castagna and
               Nils Gesbert and
               Luca Padovani},
  title     = {A theory of contracts for Web services},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {31},
  number    = {5},
  pages     = {19:1--19:61},
  year      = {2009},
  url       = {https://doi.org/10.1145/1538917.1538920},
  doi       = {10.1145/1538917.1538920},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/CastagnaGP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CastagnaP09,
  author    = {Giuseppe Castagna and
               Luca Padovani},
  title     = {Contracts for Mobile Processes},
  booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  pages     = {211--228},
  year      = {2009},
  crossref  = {DBLP:conf/concur/2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8\_15},
  doi       = {10.1007/978-3-642-04081-8\_15},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/concur/CastagnaP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CastagnaDGP09,
  author    = {Giuseppe Castagna and
               Mariangiola Dezani{-}Ciancaglini and
               Elena Giachino and
               Luca Padovani},
  title     = {Foundations of session types},
  booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  pages     = {219--230},
  year      = {2009},
  crossref  = {DBLP:conf/ppdp/2009},
  url       = {https://doi.org/10.1145/1599410.1599437},
  doi       = {10.1145/1599410.1599437},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/CastagnaDGP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Padovani09,
  author    = {Luca Padovani},
  title     = {Contract-Based Discovery and Adaptation of Web Services},
  booktitle = {Formal Methods for Web Services, 9th International School on Formal
               Methods for the Design of Computer, Communication, and Software Systems,
               {SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
  pages     = {213--260},
  year      = {2009},
  crossref  = {DBLP:conf/sfm/2009},
  url       = {https://doi.org/10.1007/978-3-642-01918-0\_6},
  doi       = {10.1007/978-3-642-01918-0\_6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/Padovani09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-5449,
  author    = {Luca Padovani},
  title     = {Session Types at the Mirror},
  booktitle = {Proceedings 2nd Interaction and Concurrency Experience: Structured
               Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009.},
  pages     = {71--86},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-0912-0759},
  url       = {https://doi.org/10.4204/EPTCS.12.5},
  doi       = {10.4204/EPTCS.12.5},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0911-5449},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2009,
  editor    = {Marco Bernardo and
               Luca Padovani and
               Gianluigi Zavattaro},
  title     = {Formal Methods for Web Services, 9th International School on Formal
               Methods for the Design of Computer, Communication, and Software Systems,
               {SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {5569},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01918-0},
  doi       = {10.1007/978-3-642-01918-0},
  isbn      = {978-3-642-01917-3},
  timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneveP08,
  author    = {Cosimo Laneve and
               Luca Padovani},
  title     = {The Pairing of Contracts and Session Types},
  booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
               on the Occasion of His 65th Birthday},
  pages     = {681--700},
  year      = {2008},
  crossref  = {DBLP:conf/birthday/2008montanari},
  url       = {https://doi.org/10.1007/978-3-540-68679-8\_42},
  doi       = {10.1007/978-3-540-68679-8\_42},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/LaneveP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Padovani08,
  author    = {Luca Padovani},
  title     = {Contract-Directed Synthesis of Simple Orchestrators},
  booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  pages     = {131--146},
  year      = {2008},
  crossref  = {DBLP:conf/concur/2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9\_13},
  doi       = {10.1007/978-3-540-85361-9\_13},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/concur/Padovani08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CastagnaGP08,
  author    = {Giuseppe Castagna and
               Nils Gesbert and
               Luca Padovani},
  title     = {A theory of contracts for web services},
  booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2008, San Francisco, California,
               USA, January 7-12, 2008},
  pages     = {261--272},
  year      = {2008},
  crossref  = {DBLP:conf/popl/2008},
  url       = {https://doi.org/10.1145/1328438.1328471},
  doi       = {10.1145/1328438.1328471},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/CastagnaGP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaneveP07,
  author    = {Cosimo Laneve and
               Luca Padovani},
  title     = {The \emph{Must} Preorder Revisited},
  booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
               {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  pages     = {212--225},
  year      = {2007},
  crossref  = {DBLP:conf/concur/2007},
  url       = {https://doi.org/10.1007/978-3-540-74407-8\_15},
  doi       = {10.1007/978-3-540-74407-8\_15},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/LaneveP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BernardoP07,
  author    = {Marco Bernardo and
               Luca Padovani},
  title     = {Performance-Oriented Comparison of Web Services Via Client-Specific
               Testing Preorders},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
               June 6-8, 2007, Proceedings},
  pages     = {269--284},
  year      = {2007},
  crossref  = {DBLP:conf/fmoods/2007},
  url       = {https://doi.org/10.1007/978-3-540-72952-5\_17},
  doi       = {10.1007/978-3-540-72952-5\_17},
  timestamp = {Fri, 10 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/BernardoP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/CastagnaGP07,
  author    = {Giuseppe Castagna and
               Nils Gesbert and
               Luca Padovani},
  title     = {A Theory of Contracts for Web Services},
  booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
               {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
               20, 2007},
  pages     = {37--48},
  year      = {2007},
  crossref  = {DBLP:conf/planX/2007},
  url       = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/planX/CastagnaGP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaneveP06,
  author    = {Cosimo Laneve and
               Luca Padovani},
  title     = {Smooth Orchestrators},
  booktitle = {Foundations of Software Science and Computation Structures, 9th International
               Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
               March 25-31, 2006, Proceedings},
  pages     = {32--46},
  year      = {2006},
  crossref  = {DBLP:conf/fossacs/2006},
  url       = {https://doi.org/10.1007/11690634\_3},
  doi       = {10.1007/11690634\_3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/LaneveP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/PadovaniZ06,
  author    = {Luca Padovani and
               Stefano Zacchiroli},
  title     = {From Notation to Semantics: There and Back Again},
  booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
               2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  pages     = {194--207},
  year      = {2006},
  crossref  = {DBLP:conf/mkm/2006},
  url       = {https://doi.org/10.1007/11812289\_16},
  doi       = {10.1007/11812289\_16},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/PadovaniZ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/CarpinetiCLP06,
  author    = {Samuele Carpineti and
               Giuseppe Castagna and
               Cosimo Laneve and
               Luca Padovani},
  title     = {A Formal Account of Contracts for Web Services},
  booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  pages     = {148--162},
  year      = {2006},
  crossref  = {DBLP:conf/wsfm/2006},
  url       = {https://doi.org/10.1007/11841197\_10},
  doi       = {10.1007/11841197\_10},
  timestamp = {Fri, 25 Aug 2017 06:45:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/CarpinetiCLP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Padovani05,
  author    = {Luca Padovani},
  title     = {Compilation of Generic Regular Path Expressions Using {C++} Class
               Templates},
  booktitle = {Compiler Construction, 14th International Conference, {CC} 2005, Held
               as Part of the Joint European Conferences on Theory and Practice of
               Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  pages     = {27--42},
  year      = {2005},
  crossref  = {DBLP:conf/cc/2005},
  url       = {https://doi.org/10.1007/978-3-540-31985-6\_3},
  doi       = {10.1007/978-3-540-31985-6\_3},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/Padovani05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BusiP05,
  author    = {Nadia Busi and
               Luca Padovani},
  title     = {A Distributed Implementation of Mobile Nets as Mobile Agents},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
               June 15-17, 2005, Proceedings},
  pages     = {259--274},
  year      = {2005},
  crossref  = {DBLP:conf/fmoods/2005},
  url       = {https://doi.org/10.1007/11494881\_17},
  doi       = {10.1007/11494881\_17},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/BusiP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/PadovaniCZ04,
  author    = {Luca Padovani and
               Claudio Sacerdoti Coen and
               Stefano Zacchiroli},
  title     = {A Generative Approach to the Implementation of Language Bindings for
               the Document Object Model},
  booktitle = {Generative Programming and Component Engineering: Third International
               Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  pages     = {469--487},
  year      = {2004},
  crossref  = {DBLP:conf/gpce/2004},
  url       = {https://doi.org/10.1007/978-3-540-30175-2\_25},
  doi       = {10.1007/978-3-540-30175-2\_25},
  timestamp = {Wed, 14 Nov 2018 10:59:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/PadovaniCZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/PadovaniP04,
  author    = {Luca Padovani and
               Alessandro Provetti},
  title     = {Qsmodels: {ASP} Planning in Interactive Gaming Environment},
  booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  pages     = {689--692},
  year      = {2004},
  crossref  = {DBLP:conf/jelia/2004},
  url       = {https://doi.org/10.1007/978-3-540-30227-8\_58},
  doi       = {10.1007/978-3-540-30227-8\_58},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/PadovaniP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/PadovaniS04,
  author    = {Luca Padovani and
               Riccardo Solmi},
  title     = {An Investigation on the Dynamics of Direct-Manipulation Editors for
               Mathematics},
  booktitle = {Mathematical Knowledge Management, Third International Conference,
               {MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
  pages     = {302--316},
  year      = {2004},
  crossref  = {DBLP:conf/mkm/2004},
  url       = {https://doi.org/10.1007/978-3-540-27818-4\_22},
  doi       = {10.1007/978-3-540-27818-4\_22},
  timestamp = {Sun, 04 Jun 2017 10:10:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/PadovaniS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tex/Padovani04,
  author    = {Luca Padovani},
  title     = {Interactive Editing of MathML Markup Using {TEX} Syntax},
  booktitle = {TeX, XML, and Digital Typography, International Conference on TeX,
               XML, and Digital Typography, Held Jointly with the 25th Annual Meeting
               of the TeX Users Group, {TUG} 2004, Xanthi, Greece, August 30 - September
               3, 2004, Proceedings},
  pages     = {125--138},
  year      = {2004},
  crossref  = {DBLP:conf/tex/2004},
  url       = {https://doi.org/10.1007/978-3-540-27773-6\_9},
  doi       = {10.1007/978-3-540-27773-6\_9},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tex/Padovani04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/AspertiPCGS03,
  author    = {Andrea Asperti and
               Luca Padovani and
               Claudio Sacerdoti Coen and
               Ferruccio Guidi and
               Irene Schena},
  title     = {Mathematical Knowledge Management in {HELM}},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {38},
  number    = {1-3},
  pages     = {27--46},
  year      = {2003},
  url       = {https://doi.org/10.1023/A:1022907629104},
  doi       = {10.1023/A:1022907629104},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amai/AspertiPCGS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Padovani03,
  author    = {Luca Padovani},
  title     = {On the Roles of L\({}^{\mbox{A}}\)T\({}_{\mbox{E}}\)X and MathML in
               Encoding and Processing Mathematical Expressions},
  booktitle = {Mathematical Knowledge Management, Second International Conference,
               {MKM} 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings},
  pages     = {66--79},
  year      = {2003},
  crossref  = {DBLP:conf/mkm/2003},
  url       = {https://doi.org/10.1007/3-540-36469-2\_6},
  doi       = {10.1007/3-540-36469-2\_6},
  timestamp = {Sun, 04 Jun 2017 10:10:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/Padovani03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/AspertiPCS01,
  author    = {Andrea Asperti and
               Luca Padovani and
               Claudio Sacerdoti Coen and
               Irene Schena},
  title     = {XML, Stylesheets and the Re-mathematization of Formal Content},
  booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2001
               Conference, 12-17 August 2001, Montr{\'{e}}al, Quebec, Canada},
  year      = {2001},
  crossref  = {DBLP:conf/extreme/2001},
  url       = {http://www.mulberrytech.com/Extreme/Proceedings/html/2001/Asperti01/EML2001Asperti01.html},
  timestamp = {Wed, 20 Jul 2005 12:57:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/extreme/AspertiPCS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/CasariniP01,
  author    = {Paolo Casarini and
               Luca Padovani},
  title     = {The Gnome {DOM} Engine},
  booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2001
               Conference, 12-17 August 2001, Montr{\'{e}}al, Quebec, Canada},
  year      = {2001},
  crossref  = {DBLP:conf/extreme/2001},
  url       = {http://www.mulberrytech.com/Extreme/Proceedings/html/2001/Casarini01/EML2001Casarini01.html},
  timestamp = {Wed, 20 Jul 2005 12:57:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/extreme/CasariniP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AspertiPCS01,
  author    = {Andrea Asperti and
               Luca Padovani and
               Claudio Sacerdoti Coen and
               Irene Schena},
  title     = {{HELM} and the Semantic Math-Web},
  booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference,
               TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
  pages     = {59--74},
  year      = {2001},
  crossref  = {DBLP:conf/tphol/2001},
  url       = {https://doi.org/10.1007/3-540-44755-5\_6},
  doi       = {10.1007/3-540-44755-5\_6},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/AspertiPCS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2018,
  editor    = {Todd D. Millstein},
  title     = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
               July 16-21, 2018, Amsterdam, The Netherlands},
  series    = {LIPIcs},
  volume    = {109},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-079-8},
  isbn      = {978-3-95977-079-8},
  timestamp = {Tue, 10 Jul 2018 12:57:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2017,
  editor    = {Hongseok Yang},
  title     = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10201},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1},
  doi       = {10.1007/978-3-662-54434-1},
  isbn      = {978-3-662-54433-4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2016,
  editor    = {Alberto Lluch{-}Lafuente and
               Jos{\'{e}} Proen{\c{c}}a},
  title     = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2016, Held as Part of the 11th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9686},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39519-7},
  doi       = {10.1007/978-3-319-39519-7},
  isbn      = {978-3-319-39518-0},
  timestamp = {Wed, 24 May 2017 08:27:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2015,
  editor    = {Tom Holvoet and
               Mirko Viroli},
  title     = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9037},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6},
  doi       = {10.1007/978-3-319-19282-6},
  isbn      = {978-3-319-19281-9},
  timestamp = {Wed, 14 Nov 2018 10:52:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2015,
  editor    = {Susanne Graf and
               Mahesh Viswanathan},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
               as Part of the 10th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9039},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9},
  doi       = {10.1007/978-3-319-19195-9},
  isbn      = {978-3-319-19194-2},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015,
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
               25-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2814270},
  isbn      = {978-1-4503-3689-5},
  timestamp = {Thu, 07 Apr 2016 13:01:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2015,
  editor    = {Marco Bernardo and
               Einar Broch Johnsen},
  title     = {Formal Methods for Multicore Programming - 15th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {9104},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-18941-3},
  doi       = {10.1007/978-3-319-18941-3},
  isbn      = {978-3-319-18940-6},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2014,
  editor    = {eva K{\"{u}}hn and
               Rosario Pugliese},
  title     = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2014, Held as Part of the 9th International
               Federated Conferences on Distributed Computing Techniques, DisCoTec
               2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8459},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43376-8},
  doi       = {10.1007/978-3-662-43376-8},
  isbn      = {978-3-662-43375-1},
  timestamp = {Wed, 24 May 2017 08:27:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2014,
  editor    = {Thomas A. Henzinger and
               Dale Miller},
  title     = {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), {CSL-LICS} '14, Vienna, Austria,
               July 14 - 18, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2603088},
  isbn      = {978-1-4503-2886-9},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2014,
  editor    = {Anca Muscholl},
  title     = {Foundations of Software Science and Computation Structures - 17th
               International Conference, {FOSSACS} 2014, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
               Grenoble, France, April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8412},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54830-7},
  doi       = {10.1007/978-3-642-54830-7},
  isbn      = {978-3-642-54829-1},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DonaldsonV14,
  editor    = {Alastair F. Donaldson and
               Vasco T. Vasconcelos},
  title     = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
               and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
               12 April 2014},
  series    = {{EPTCS}},
  volume    = {155},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.155},
  doi       = {10.4204/EPTCS.155},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DonaldsonV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2013,
  editor    = {Rocco {De Nicola} and
               Christine Julien},
  title     = {Coordination Models and Languages, 15th International Conference,
               {COORDINATION} 2013, Held as Part of the 8th International Federated
               Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
               Italy, June 3-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7890},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38493-6},
  doi       = {10.1007/978-3-642-38493-6},
  isbn      = {978-3-642-38492-9},
  timestamp = {Sun, 03 Dec 2017 00:17:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2013,
  editor    = {Dirk Beyer and
               Michele Boreale},
  title     = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
               International Conference, {FMOODS/FORTE} 2013, Held as Part of the
               8th International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7892},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38592-6},
  doi       = {10.1007/978-3-642-38592-6},
  isbn      = {978-3-642-38591-9},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2013-2,
  editor    = {Fedor V. Fomin and
               Rusins Freivalds and
               Marta Z. Kwiatkowska and
               David Peleg},
  title     = {Automata, Languages, and Programming - 40th International Colloquium,
               {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7966},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39212-2},
  doi       = {10.1007/978-3-642-39212-2},
  isbn      = {978-3-642-39211-5},
  timestamp = {Tue, 23 May 2017 01:08:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2013-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2013,
  editor    = {Einar Broch Johnsen and
               Luigia Petre},
  title     = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
               Turku, Finland, June 10-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7940},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38613-8},
  doi       = {10.1007/978-3-642-38613-8},
  isbn      = {978-3-642-38612-1},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/YoshidaV13,
  editor    = {Nobuko Yoshida and
               Wim Vanderbauwhede},
  title     = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
               and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
               March 2013},
  series    = {{EPTCS}},
  volume    = {137},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.137},
  doi       = {10.4204/EPTCS.137},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/YoshidaV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2012,
  editor    = {Klaus Ostermann and
               Walter Binder},
  title     = {Generative Programming and Component Engineering, GPCE'12, Dresden,
               Germany, September 26-28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2371401},
  isbn      = {978-1-4503-1129-8},
  timestamp = {Fri, 19 Oct 2012 18:47:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2012,
  editor    = {Danny De Schreye and
               Gerda Janssens and
               Andy King},
  title     = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
               Belgium - September 19 - 21, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2370776},
  isbn      = {978-1-4503-1522-7},
  timestamp = {Sun, 11 Nov 2012 19:34:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2011,
  editor    = {Wolfgang De Meuter and
               Gruia{-}Catalin Roman},
  title     = {Coordination Models and Languages - 13th International Conference,
               {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6721},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21464-6},
  doi       = {10.1007/978-3-642-21464-6},
  isbn      = {978-3-642-21463-9},
  timestamp = {Wed, 24 May 2017 08:27:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2011,
  editor    = {Gilles Barthe},
  title     = {Programming Languages and Systems - 20th European Symposium on Programming,
               {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
               March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6602},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5},
  doi       = {10.1007/978-3-642-19718-5},
  isbn      = {978-3-642-19717-8},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2011,
  editor    = {Roberto Bruni and
               J{\"{u}}rgen Dingel},
  title     = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
               6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
               6-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6722},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21461-5},
  doi       = {10.1007/978-3-642-21461-5},
  isbn      = {978-3-642-21460-8},
  timestamp = {Fri, 02 Jun 2017 20:47:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-0144,
  editor    = {Alexandra Silva and
               Simon Bliudze and
               Roberto Bruni and
               Marco Carbone},
  title     = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
               Reykjavik, Iceland, 9th June 2011},
  series    = {{EPTCS}},
  volume    = {59},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.59},
  doi       = {10.4204/EPTCS.59},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-0144},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mallow/2010,
  editor    = {Olivier Boissier and
               Amal El Fallah{-}Seghrouchni and
               Salima Hassas and
               Nicolas Maudet},
  title     = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
               Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
               2, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {627},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-627},
  urn       = {urn:nbn:de:0074-627-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woa/2010,
  editor    = {Andrea Omicini and
               Mirko Viroli},
  title     = {Proceedings of the 11th {WOA} 2010 Workshop, Dagli Oggetti Agli Agenti,
               Rimini, Italy, September 5-7, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {621},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-621},
  urn       = {urn:nbn:de:0074-621-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/woa/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1101-4104,
  editor    = {Elaine Pimentel and
               Betti Venneri and
               Joe B. Wells},
  title     = {Proceedings Fifth Workshop on Intersection Types and Related Systems,
               {ITRS} 2010, Edinburgh, U.K., 9th July 2010},
  series    = {{EPTCS}},
  volume    = {45},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.45},
  doi       = {10.4204/EPTCS.45},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1101-4104},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2009,
  editor    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5710},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8},
  doi       = {10.1007/978-3-642-04081-8},
  isbn      = {978-3-642-04080-1},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2009,
  editor    = {Ant{\'{o}}nio Porto and
               Francisco Javier L{\'{o}}pez{-}Fraguas},
  title     = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-568-0},
  timestamp = {Tue, 22 Sep 2009 21:52:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2009,
  editor    = {Marco Bernardo and
               Luca Padovani and
               Gianluigi Zavattaro},
  title     = {Formal Methods for Web Services, 9th International School on Formal
               Methods for the Design of Computer, Communication, and Software Systems,
               {SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {5569},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01918-0},
  doi       = {10.1007/978-3-642-01918-0},
  isbn      = {978-3-642-01917-3},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-0759,
  editor    = {Filippo Bonchi and
               Davide Grohmann and
               Paola Spoletini and
               Emilio Tuosto},
  title     = {Proceedings 2nd Interaction and Concurrency Experience: Structured
               Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series    = {{EPTCS}},
  volume    = {12},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.12},
  doi       = {10.4204/EPTCS.12},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-0759},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2008montanari,
  editor    = {Pierpaolo Degano and
               Rocco {De Nicola} and
               Jos{\'{e}} Meseguer},
  title     = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
               on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {5065},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68679-8},
  doi       = {10.1007/978-3-540-68679-8},
  isbn      = {978-3-540-68676-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2008montanari},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2008,
  editor    = {Franck van Breugel and
               Marsha Chechik},
  title     = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5201},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9},
  doi       = {10.1007/978-3-540-85361-9},
  isbn      = {978-3-540-85360-2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2008,
  editor    = {George C. Necula and
               Philip Wadler},
  title     = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2008, San Francisco, California,
               USA, January 7-12, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1328438},
  isbn      = {978-1-59593-689-9},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2007,
  editor    = {Lu{\'{\i}}s Caires and
               Vasco Thudichum Vasconcelos},
  title     = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
               {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4703},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74407-8},
  doi       = {10.1007/978-3-540-74407-8},
  isbn      = {978-3-540-74406-1},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2007,
  editor    = {Marcello M. Bonsangue and
               Einar Broch Johnsen},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
               June 6-8, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4468},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72952-5},
  doi       = {10.1007/978-3-540-72952-5},
  isbn      = {978-3-540-72919-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/planX/2007,
  title     = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
               {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
               20, 2007},
  year      = {2007},
  timestamp = {Thu, 22 Feb 2007 14:02:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/planX/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2006,
  editor    = {Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {Foundations of Software Science and Computation Structures, 9th International
               Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
               March 25-31, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3921},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11690634},
  doi       = {10.1007/11690634},
  isbn      = {3-540-33045-3},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2006,
  editor    = {Jonathan M. Borwein and
               William M. Farmer},
  title     = {Mathematical Knowledge Management, 5th International Conference, {MKM}
               2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4108},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11812289},
  doi       = {10.1007/11812289},
  isbn      = {3-540-37104-4},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2006,
  editor    = {Mario Bravetti and
               Manuel N{\'{u}}{\~{n}}ez and
               Gianluigi Zavattaro},
  title     = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4184},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841197},
  doi       = {10.1007/11841197},
  isbn      = {3-540-38862-1},
  timestamp = {Fri, 25 Aug 2017 06:45:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2005,
  editor    = {Rastislav Bod{\'{\i}}k},
  title     = {Compiler Construction, 14th International Conference, {CC} 2005, Held
               as Part of the Joint European Conferences on Theory and Practice of
               Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3443},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107108},
  doi       = {10.1007/b107108},
  isbn      = {3-540-25411-0},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2005,
  editor    = {Martin Steffen and
               Gianluigi Zavattaro},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
               June 15-17, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3535},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136996},
  doi       = {10.1007/b136996},
  isbn      = {3-540-26181-8},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2004,
  editor    = {Gabor Karsai and
               Eelco Visser},
  title     = {Generative Programming and Component Engineering: Third International
               Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3286},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b101929},
  doi       = {10.1007/b101929},
  isbn      = {3-540-23580-9},
  timestamp = {Wed, 14 Nov 2018 10:59:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2004,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Jo{\~{a}}o Alexandre Leite},
  title     = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3229},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100483},
  doi       = {10.1007/b100483},
  isbn      = {3-540-23242-7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2004,
  editor    = {Andrea Asperti and
               Grzegorz Bancerek and
               Andrzej Trybulec},
  title     = {Mathematical Knowledge Management, Third International Conference,
               {MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3119},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100478},
  doi       = {10.1007/b100478},
  isbn      = {3-540-23029-7},
  timestamp = {Sun, 04 Jun 2017 10:10:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tex/2004,
  editor    = {Apostolos Syropoulos and
               Karl Berry and
               Yannis Haralambous and
               Baden Hughes and
               Steven Peter and
               John Plaice},
  title     = {TeX, XML, and Digital Typography, International Conference on TeX,
               XML, and Digital Typography, Held Jointly with the 25th Annual Meeting
               of the TeX Users Group, {TUG} 2004, Xanthi, Greece, August 30 - September
               3, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3130},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b99374},
  doi       = {10.1007/b99374},
  isbn      = {3-540-22801-2},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tex/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2003,
  editor    = {Andrea Asperti and
               Bruno Buchberger and
               James H. Davenport},
  title     = {Mathematical Knowledge Management, Second International Conference,
               {MKM} 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2594},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36469-2},
  doi       = {10.1007/3-540-36469-2},
  isbn      = {3-540-00568-4},
  timestamp = {Sun, 04 Jun 2017 10:10:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/extreme/2001,
  title     = {Proceedings of the Extreme Markup Languages{\textregistered} 2001
               Conference, 12-17 August 2001, Montr{\'{e}}al, Quebec, Canada},
  year      = {2001},
  timestamp = {Wed, 20 Jul 2005 12:57:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/extreme/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2001,
  editor    = {Richard J. Boulton and
               Paul B. Jackson},
  title     = {Theorem Proving in Higher Order Logics, 14th International Conference,
               TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2152},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44755-5},
  doi       = {10.1007/3-540-44755-5},
  isbn      = {3-540-42525-X},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier