BibTeX records: Hugo Torres Vieira

download as .bib file

@article{DBLP:journals/jlap/ProkicPV19,
  author    = {Ivan Prokic and
               Jovanka Pantovic and
               Hugo Torres Vieira},
  title     = {A calculus for modeling floating authorizations},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {107},
  pages     = {136--174},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jlamp.2019.06.002},
  doi       = {10.1016/j.jlamp.2019.06.002},
  timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlap/ProkicPV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlrahmanMV19,
  author    = {Yehia Abd Alrahman and
               Claudio Antares Mezzina and
               Hugo Torres Vieira},
  title     = {Testing for Coordination Fidelity},
  booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  pages     = {152--169},
  year      = {2019},
  crossref  = {DBLP:conf/birthday/2019denicola},
  url       = {https://doi.org/10.1007/978-3-030-21485-2\_10},
  doi       = {10.1007/978-3-030-21485-2\_10},
  timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/AlrahmanMV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiHKV18,
  author    = {Massimo Bartoletti and
               Ludovic Henrio and
               Sophia Knight and
               Hugo Torres Vieira},
  title     = {Preface for the special issue on Interaction and Concurrency Experience
               2016},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {98},
  pages     = {26},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jlamp.2018.03.005},
  doi       = {10.1016/j.jlamp.2018.03.005},
  timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/BartolettiHKV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PantovicPV18,
  author    = {Jovanka Pantovic and
               Ivan Prokic and
               Hugo Torres Vieira},
  title     = {A Calculus for Modeling Floating Authorizations},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
               as Part of the 13th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
               Proceedings},
  pages     = {101--120},
  year      = {2018},
  crossref  = {DBLP:conf/forte/2018},
  url       = {https://doi.org/10.1007/978-3-319-92612-4\_6},
  doi       = {10.1007/978-3-319-92612-4\_6},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/PantovicPV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08107,
  author    = {Marco Carbone and
               Fabrizio Montesi and
               Hugo Torres Vieira},
  title     = {Choreographies for Reactive Programming},
  journal   = {CoRR},
  volume    = {abs/1801.08107},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.08107},
  archivePrefix = {arXiv},
  eprint    = {1801.08107},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-08107},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05863,
  author    = {Jovanka Pantovic and
               Ivan Prokic and
               Hugo Torres Vieira},
  title     = {A Calculus for Modeling Floating Authorizations},
  journal   = {CoRR},
  volume    = {abs/1802.05863},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.05863},
  archivePrefix = {arXiv},
  eprint    = {1802.05863},
  timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1802-05863},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01942,
  author    = {Yehia Abd Alrahman and
               Hugo Torres Vieira},
  title     = {Operation Control Protocols in Power Distribution Grids},
  journal   = {CoRR},
  volume    = {abs/1811.01942},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.01942},
  archivePrefix = {arXiv},
  eprint    = {1811.01942},
  timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1811-01942},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaneseLKV17,
  author    = {Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Sophia Knight and
               Hugo Torres Vieira},
  title     = {Preface for the special issue on Interaction and Concurrency Experience
               2015},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {86},
  number    = {1},
  pages     = {1},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.10.003},
  doi       = {10.1016/j.jlamp.2016.10.003},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/LaneseLKV17},
  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 = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csur/HuttelLVCCDMPRT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GhilezanJPPV16,
  author    = {Silvia Ghilezan and
               Svetlana Jaksic and
               Jovanka Pantovic and
               Jorge A. P{\'{e}}rez and
               Hugo Torres Vieira},
  title     = {Dynamic role authorization in multiparty conversations},
  journal   = {Formal Asp. Comput.},
  volume    = {28},
  number    = {4},
  pages     = {643--667},
  year      = {2016},
  url       = {https://doi.org/10.1007/s00165-016-0363-5},
  doi       = {10.1007/s00165-016-0363-5},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/GhilezanJPPV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaneseLSV16,
  author    = {Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Ana Sokolova and
               Hugo Torres Vieira},
  title     = {Preface for the special issue on Interaction and Concurrency Experience
               2014},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {85},
  number    = {3},
  pages     = {367},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jlamp.2015.09.010},
  doi       = {10.1016/j.jlamp.2015.09.010},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/LaneseLSV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Vieira16,
  author    = {Hugo Torres Vieira},
  title     = {DisCoTec 2016 conference report},
  journal   = {{SIGLOG} News},
  volume    = {3},
  number    = {3},
  pages     = {78--79},
  year      = {2016},
  url       = {https://dl.acm.org/citation.cfm?id=2984462},
  timestamp = {Wed, 05 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siglog/Vieira16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BartolettiHKV16,
  editor    = {Massimo Bartoletti and
               Ludovic Henrio and
               Sophia Knight and
               Hugo Torres Vieira},
  title     = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
               Heraklion, Greece, 8-9 June 2016},
  series    = {{EPTCS}},
  volume    = {223},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.223},
  doi       = {10.4204/EPTCS.223},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartolettiHKV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiCDDGP15,
  author    = {Massimo Bartoletti and
               Ilaria Castellani and
               Pierre{-}Malo Deni{\'{e}}lou and
               Mariangiola Dezani{-}Ciancaglini and
               Silvia Ghilezan and
               Jovanka Pantovic and
               Jorge A. P{\'{e}}rez and
               Peter Thiemann and
               Bernardo Toninho and
               Hugo Torres Vieira},
  title     = {Combining behavioural types with security analysis},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {6},
  pages     = {763--780},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2015.09.003},
  doi       = {10.1016/j.jlamp.2015.09.003},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/BartolettiCDDGP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaMV15,
  author    = {Rocco {De Nicola} and
               Claudio Antares Mezzina and
               Hugo Torres Vieira},
  title     = {Global Protocol Implementations via Attribute-Based Communication},
  booktitle = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  pages     = {219--237},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015degano},
  url       = {https://doi.org/10.1007/978-3-319-25527-9\_15},
  doi       = {10.1007/978-3-319-25527-9\_15},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/NicolaMV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GhilezanJPPV16,
  author    = {Silvia Ghilezan and
               Svetlana Jaksic and
               Jovanka Pantovic and
               Jorge A. P{\'{e}}rez and
               Hugo Torres Vieira},
  title     = {A Typed Model for Dynamic Authorizations},
  booktitle = {Proceedings Eighth International Workshop on Programming Language
               Approaches to Concurrency- and Communication-cEntric Software, {PLACES}
               2015, London, UK, 18th April 2015.},
  pages     = {73--84},
  year      = {2015},
  crossref  = {DBLP:journals/corr/GayA16},
  url       = {https://doi.org/10.4204/EPTCS.203.6},
  doi       = {10.4204/EPTCS.203.6},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GhilezanJPPV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KnightLLV15,
  editor    = {Sophia Knight and
               Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Hugo Torres Vieira},
  title     = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
               Grenoble, France, 4-5th June 2015},
  series    = {{EPTCS}},
  volume    = {189},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.189},
  doi       = {10.4204/EPTCS.189},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KnightLLV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartolettiCDDGP15,
  author    = {Massimo Bartoletti and
               Ilaria Castellani and
               Pierre{-}Malo Deni{\'{e}}lou and
               Mariangiola Dezani{-}Ciancaglini and
               Silvia Ghilezan and
               Jovanka Pantovic and
               Jorge A. P{\'{e}}rez and
               Peter Thiemann and
               Bernardo Toninho and
               Hugo Torres Vieira},
  title     = {Combining behavioural types with security analysis},
  journal   = {CoRR},
  volume    = {abs/1510.02229},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.02229},
  archivePrefix = {arXiv},
  eprint    = {1510.02229},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartolettiCDDGP15},
  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 = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/PadovaniVV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GhilezanJPPV14,
  author    = {Silvia Ghilezan and
               Svetlana Jaksic and
               Jovanka Pantovic and
               Jorge A. P{\'{e}}rez and
               Hugo Torres Vieira},
  title     = {Dynamic Role Authorization in Multiparty Conversations},
  booktitle = {Proceedings Third Workshop on Behavioural Types, {BEAT} 2014, Rome,
               Italy, 1st September 2014.},
  pages     = {1--8},
  year      = {2014},
  crossref  = {DBLP:journals/corr/Carbone14},
  url       = {https://doi.org/10.4204/EPTCS.162.1},
  doi       = {10.4204/EPTCS.162.1},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GhilezanJPPV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LaneseLSV14,
  editor    = {Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Ana Sokolova and
               Hugo Torres Vieira},
  title     = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
               Berlin, Germany, 6th June 2014},
  series    = {{EPTCS}},
  volume    = {166},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.166},
  doi       = {10.4204/EPTCS.166},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LaneseLSV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/VieiraV13,
  author    = {Hugo Torres Vieira and
               Vasco Thudichum Vasconcelos},
  title     = {Typing Progress in Communication-Centred Systems},
  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     = {236--250},
  year      = {2013},
  crossref  = {DBLP:conf/coordination/2013},
  url       = {https://doi.org/10.1007/978-3-642-38493-6\_17},
  doi       = {10.1007/978-3-642-38493-6\_17},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/VieiraV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CairesV12,
  author    = {Lu{\'{\i}}s Caires and
               Hugo Torres Vieira},
  title     = {{SLMC:} {A} Tool for Model Checking Concurrent Systems against Dynamical
               Spatial Logic Specifications},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {485--491},
  year      = {2012},
  crossref  = {DBLP:conf/tacas/2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5\_35},
  doi       = {10.1007/978-3-642-28756-5\_35},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/CairesV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BaltazarCVV12,
  author    = {Pedro Baltazar and
               Lu{\'{\i}}s Caires and
               Vasco T. Vasconcelos and
               Hugo Torres Vieira},
  title     = {A Type System for Flexible Role Assignment in Multiparty Communicating
               Systems},
  booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC}
               2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
               Papers},
  pages     = {82--96},
  year      = {2012},
  crossref  = {DBLP:conf/tgc/2012},
  url       = {https://doi.org/10.1007/978-3-642-41157-1\_6},
  doi       = {10.1007/978-3-642-41157-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/BaltazarCVV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CairesPSVF11,
  author    = {Lu{\'{\i}}s Caires and
               Jorge A. P{\'{e}}rez and
               Jo{\~{a}}o Costa Seco and
               Hugo Torres Vieira and
               L{\'{u}}cio Ferr{\~{a}}o},
  title     = {Type-Based Access Control in Data-Centric Systems},
  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     = {136--155},
  year      = {2011},
  crossref  = {DBLP:conf/esop/2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5\_8},
  doi       = {10.1007/978-3-642-19718-5\_8},
  timestamp = {Sat, 19 Oct 2019 20:28:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/CairesPSVF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/LaneseRV11,
  author    = {Ivan Lanese and
               Ant{\'{o}}nio Ravara and
               Hugo Torres Vieira},
  title     = {Behavioral Theory for Session-Oriented Calculi},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {189--213},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_9},
  doi       = {10.1007/978-3-642-20401-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/LaneseRV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/AcciaiBBBV11,
  author    = {Lucia Acciai and
               Chiara Bodei and
               Michele Boreale and
               Roberto Bruni and
               Hugo Torres Vieira},
  title     = {Static Analysis Techniques for Session-Oriented Calculi},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {214--231},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_10},
  doi       = {10.1007/978-3-642-20401-2\_10},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/AcciaiBBBV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/FerreiraLRVZ11,
  author    = {Carla Ferreira and
               Ivan Lanese and
               Ant{\'{o}}nio Ravara and
               Hugo Torres Vieira and
               Gianluigi Zavattaro},
  title     = {Advanced Mechanisms for Service Combination and Transactions},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {302--325},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_14},
  doi       = {10.1007/978-3-642-20401-2\_14},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/FerreiraLRVZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BartolettiCLMSVZ11,
  author    = {Massimo Bartoletti and
               Lu{\'{\i}}s Caires and
               Ivan Lanese and
               Franco Mazzanti and
               Davide Sangiorgi and
               Hugo Torres Vieira and
               Roberto Zunino},
  title     = {Tools and Verification},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {408--427},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2\_19},
  doi       = {10.1007/978-3-642-20401-2\_19},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/BartolettiCLMSVZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CairesV10,
  author    = {Lu{\'{\i}}s Caires and
               Hugo Torres Vieira},
  title     = {Conversation types},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {51-52},
  pages     = {4399--4440},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2010.09.010},
  doi       = {10.1016/j.tcs.2010.09.010},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/CairesV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CairesV10,
  author    = {Lu{\'{\i}}s Caires and
               Hugo Torres Vieira},
  title     = {Analysis of Service Oriented Software Systems with the Conversation
               Calculus},
  booktitle = {Formal Aspects of Component Software - 7th International Workshop,
               {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
               Selected Papers},
  pages     = {6--33},
  year      = {2010},
  crossref  = {DBLP:conf/facs2/2010},
  url       = {https://doi.org/10.1007/978-3-642-27269-1\_2},
  doi       = {10.1007/978-3-642-27269-1\_2},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/CairesV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CairesV09,
  author    = {Lu{\'{\i}}s Caires and
               Hugo Torres Vieira},
  title     = {Conversation Types},
  booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
               {ESOP} 2009, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
               Proceedings},
  pages     = {285--300},
  year      = {2009},
  crossref  = {DBLP:conf/esop/2009},
  url       = {https://doi.org/10.1007/978-3-642-00590-9\_21},
  doi       = {10.1007/978-3-642-00590-9\_21},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/CairesV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VieiraCS08,
  author    = {Hugo Torres Vieira and
               Lu{\'{\i}}s Caires and
               Jo{\~{a}}o Costa Seco},
  title     = {The Conversation Calculus: {A} Model of Service-Oriented Computation},
  booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  pages     = {269--283},
  year      = {2008},
  crossref  = {DBLP:conf/esop/2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6\_21},
  doi       = {10.1007/978-3-540-78739-6\_21},
  timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/VieiraCS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/CairesFV08,
  author    = {Lu{\'{\i}}s Caires and
               Carla Ferreira and
               Hugo Torres Vieira},
  title     = {A Process Calculus Analysis of Compensations},
  booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
               Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  pages     = {87--103},
  year      = {2008},
  crossref  = {DBLP:conf/tgc/2008},
  url       = {https://doi.org/10.1007/978-3-642-00945-7\_6},
  doi       = {10.1007/978-3-642-00945-7\_6},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/CairesFV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CairesV07,
  author    = {Lu{\'{\i}}s Caires and
               Hugo Torres Vieira},
  title     = {Extensionality of Spatial Observations in Distributed Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {175},
  number    = {3},
  pages     = {131--149},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2006.10.056},
  doi       = {10.1016/j.entcs.2006.10.056},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CairesV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/TuostoV06,
  author    = {Emilio Tuosto and
               Hugo Torres Vieira},
  title     = {An Observational Model for Spatial Logics},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {142},
  pages     = {229--254},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2004.10.028},
  doi       = {10.1016/j.entcs.2004.10.028},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/TuostoV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019denicola,
  editor    = {Michele Boreale and
               Flavio Corradini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11665},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21485-2},
  doi       = {10.1007/978-3-030-21485-2},
  isbn      = {978-3-030-21484-5},
  timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2019denicola},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2018,
  editor    = {Christel Baier and
               Lu{\'{\i}}s Caires},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
               as Part of the 13th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92612-4},
  doi       = {10.1007/978-3-319-92612-4},
  isbn      = {978-3-319-92611-7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015degano,
  editor    = {Chiara Bodei and
               Gian Luigi Ferrari and
               Corrado Priami},
  title     = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9465},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25527-9},
  doi       = {10.1007/978-3-319-25527-9},
  isbn      = {978-3-319-25526-2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2015degano},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GayA16,
  editor    = {Simon Gay and
               Jade Alglave},
  title     = {Proceedings Eighth International Workshop on Programming Language
               Approaches to Concurrency- and Communication-cEntric Software, {PLACES}
               2015, London, UK, 18th April 2015},
  series    = {{EPTCS}},
  volume    = {203},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.203},
  doi       = {10.4204/EPTCS.203},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GayA16},
  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 = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Carbone14,
  editor    = {Marco Carbone},
  title     = {Proceedings Third Workshop on Behavioural Types, {BEAT} 2014, Rome,
               Italy, 1st September 2014},
  series    = {{EPTCS}},
  volume    = {162},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.162},
  doi       = {10.4204/EPTCS.162},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Carbone14},
  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 = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5},
  doi       = {10.1007/978-3-642-28756-5},
  isbn      = {978-3-642-28755-8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2012,
  editor    = {Catuscia Palamidessi and
               Mark Dermot Ryan},
  title     = {Trustworthy Global Computing - 7th International Symposium, {TGC}
               2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8191},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41157-1},
  doi       = {10.1007/978-3-642-41157-1},
  isbn      = {978-3-642-41156-4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2012},
  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 = {Sat, 19 Oct 2019 20:28:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/sensoria11,
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl},
  title     = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  series    = {Lecture Notes in Computer Science},
  volume    = {6582},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20401-2},
  doi       = {10.1007/978-3-642-20401-2},
  isbn      = {978-3-642-20400-5},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2010,
  editor    = {Lu{\'{\i}}s Soares Barbosa and
               Markus Lumpe},
  title     = {Formal Aspects of Component Software - 7th International Workshop,
               {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6921},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27269-1},
  doi       = {10.1007/978-3-642-27269-1},
  isbn      = {978-3-642-27268-4},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2009,
  editor    = {Giuseppe Castagna},
  title     = {Programming Languages and Systems, 18th European Symposium on Programming,
               {ESOP} 2009, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5502},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00590-9},
  doi       = {10.1007/978-3-642-00590-9},
  isbn      = {978-3-642-00589-3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2008,
  editor    = {Sophia Drossopoulou},
  title     = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4960},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6},
  doi       = {10.1007/978-3-540-78739-6},
  isbn      = {978-3-540-78738-9},
  timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2008,
  editor    = {Christos Kaklamanis and
               Flemming Nielson},
  title     = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
               Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5474},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00945-7},
  doi       = {10.1007/978-3-642-00945-7},
  isbn      = {978-3-642-00944-0},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics