BibTeX records: António Ravara

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1809-04772,
  author    = {Ant{\'{o}}nio Ravara},
  title     = {A Simple Functional Presentation and an Inductive Correctness Proof
               of the Horn Algorithm},
  booktitle = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
               {HCVS} 2018, Oxford, UK, 13th July 2018.},
  pages     = {34--48},
  year      = {2018},
  crossref  = {DBLP:journals/corr/abs-1809-04554},
  url       = {https://doi.org/10.4204/EPTCS.278.6},
  doi       = {10.4204/EPTCS.278.6},
  timestamp = {Thu, 11 Oct 2018 11:01:50 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-04772},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08015,
  author    = {Patr{\'{\i}}cia Monteiro and
               Jo{\~{a}}o Louren{\c{c}}o and
               Ant{\'{o}}nio Ravara},
  title     = {Uma an{\'{a}}lise comparativa de ferramentas de an{\'{a}}lise
               est{\'{a}}tica para dete{\c{c}}{\~{a}}o de erros de mem{\'{o}}ria},
  journal   = {CoRR},
  volume    = {abs/1807.08015},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.08015},
  archivePrefix = {arXiv},
  eprint    = {1807.08015},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-08015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SoaresRS17,
  author    = {Pedro Soares and
               Ant{\'{o}}nio Ravara and
               Sim{\~{a}}o Melo de Sousa},
  title     = {Revisiting concurrent separation logic},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {89},
  pages     = {41--66},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2017.02.004},
  doi       = {10.1016/j.jlamp.2017.02.004},
  timestamp = {Tue, 13 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/SoaresRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VasconcelosR17,
  author    = {Cl{\'{a}}udio Vasconcelos and
               Ant{\'{o}}nio Ravara},
  title     = {From object-oriented code with assertions to behavioural types},
  booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  pages     = {1492--1497},
  year      = {2017},
  crossref  = {DBLP:conf/sac/2017},
  url       = {https://doi.org/10.1145/3019612.3019733},
  doi       = {10.1145/3019612.3019733},
  timestamp = {Wed, 05 Dec 2018 13:49:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/VasconcelosR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01631,
  author    = {Pedro Soares and
               Ant{\'{o}}nio Ravara and
               Sim{\~{a}}o Melo de Sousa},
  title     = {Revisiting concurrent separation logic},
  journal   = {CoRR},
  volume    = {abs/1712.01631},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.01631},
  archivePrefix = {arXiv},
  eprint    = {1712.01631},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-01631},
  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/jlp/BeekLNR16,
  author    = {Maurice H. ter Beek and
               Alexei Lisitsa and
               Andrei P. Nemytykh and
               Ant{\'{o}}nio Ravara},
  title     = {Automated verification of programs and Web systems},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {85},
  number    = {5},
  pages     = {653--654},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jlamp.2016.06.005},
  doi       = {10.1016/j.jlamp.2016.06.005},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/BeekLNR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GayR16,
  author    = {Simon J. Gay and
               Ant{\'{o}}nio Ravara},
  title     = {Preface to special issue: behavioural types},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {2},
  pages     = {154--155},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000152},
  doi       = {10.1017/S0960129514000152},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/GayR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GayR16a,
  author    = {Simon J. Gay and
               Ant{\'{o}}nio Ravara},
  title     = {Preface to special issue: behavioural types},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {3},
  pages     = {365--366},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000206},
  doi       = {10.1017/S0960129514000206},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/GayR16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KokashR16,
  author    = {Natallia Kokash and
               Ant{\'{o}}nio Ravara},
  title     = {Foreword},
  journal   = {Sci. Comput. Program.},
  volume    = {115-116},
  pages     = {1--2},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.scico.2015.11.004},
  doi       = {10.1016/j.scico.2015.11.004},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/KokashR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PaulinoPDRM16,
  author    = {Herv{\'{e}} Paulino and
               Daniel Parreira and
               Nuno Delgado and
               Ant{\'{o}}nio Ravara and
               Ana Gualdina Almeida Matos},
  title     = {From atomic variables to data-centric concurrency control},
  booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  pages     = {1806--1811},
  year      = {2016},
  crossref  = {DBLP:conf/sac/2016},
  url       = {https://doi.org/10.1145/2851613.2851734},
  doi       = {10.1145/2851613.2851734},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/PaulinoPDRM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2015,
  editor    = {Thomas T. Hildebrandt and
               Ant{\'{o}}nio Ravara and
               Jan Martijn van der Werf and
               Matthias Weidlich},
  title     = {Web Services, Formal Methods, and Behavioral Types - 11th International
               Workshop, {WS-FM} 2014, Eindhoven, The Netherlands, September 11-12,
               2014, and 12th International Workshop, {WS-FM/BEAT} 2015, Madrid,
               Spain, September 4-5, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9421},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33612-1},
  doi       = {10.1007/978-3-319-33612-1},
  isbn      = {978-3-319-33611-4},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VasconcelosR16,
  author    = {Cl{\'{a}}udio Vasconcelos and
               Ant{\'{o}}nio Ravara},
  title     = {The While language},
  journal   = {CoRR},
  volume    = {abs/1603.08949},
  year      = {2016},
  url       = {http://arxiv.org/abs/1603.08949},
  archivePrefix = {arXiv},
  eprint    = {1603.08949},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VasconcelosR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VasconcelosR16a,
  author    = {Cl{\'{a}}udio Vasconcelos and
               Ant{\'{o}}nio Ravara},
  title     = {Revision Proposal for the Mool Language},
  journal   = {CoRR},
  volume    = {abs/1604.06245},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.06245},
  archivePrefix = {arXiv},
  eprint    = {1604.06245},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VasconcelosR16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-5344,
  author    = {Simon J. Gay and
               Nils Gesbert and
               Ant{\'{o}}nio Ravara and
               Vasco Thudichum Vasconcelos},
  title     = {Modular Session Types for Objects},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {4},
  year      = {2015},
  url       = {https://doi.org/10.2168/LMCS-11(4:12)2015},
  doi       = {10.2168/LMCS-11(4:12)2015},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1205-5344},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RavaraS15,
  author    = {Ant{\'{o}}nio Ravara and
               Josep Silva},
  title     = {Editorial for the {JLAMP} Special Issue on automated specification
               and verification of web systems},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {4},
  pages     = {483--484},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2015.04.001},
  doi       = {10.1016/j.jlamp.2015.04.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/RavaraS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/SoaresRS15,
  author    = {Pedro Soares and
               Ant{\'{o}}nio Ravara and
               Sim{\~{a}}o Melo de Sousa},
  title     = {Revisiting Concurrent Separation Logic and Operational Semantics},
  booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
               2015},
  pages     = {484--491},
  year      = {2015},
  crossref  = {DBLP:conf/pdp/2015},
  url       = {https://doi.org/10.1109/PDP.2015.85},
  doi       = {10.1109/PDP.2015.85},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdp/SoaresRS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FrancalanzaGR15,
  author    = {Adrian Francalanza and
               Marco Giunti and
               Ant{\'{o}}nio Ravara},
  title     = {Unlocking Blocked Communicating Processes},
  booktitle = {Proceedings 11th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
               2015.},
  pages     = {23--32},
  year      = {2015},
  crossref  = {DBLP:journals/corr/BeekL15},
  url       = {https://doi.org/10.4204/EPTCS.188.4},
  doi       = {10.4204/EPTCS.188.4},
  timestamp = {Wed, 14 Nov 2018 10:31:27 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FrancalanzaGR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Cruz-FilipeLMRV14,
  author    = {Lu{\'{\i}}s Cruz{-}Filipe and
               Ivan Lanese and
               Francisco Martins and
               Ant{\'{o}}nio Ravara and
               Vasco Thudichum Vasconcelos},
  title     = {The stream-based service-centred calculus: a foundation for service-oriented
               programming},
  journal   = {Formal Asp. Comput.},
  volume    = {26},
  number    = {5},
  pages     = {865--918},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00165-013-0284-5},
  doi       = {10.1007/s00165-013-0284-5},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Cruz-FilipeLMRV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MousaviR14,
  author    = {Mohammad Reza Mousavi and
               Ant{\'{o}}nio Ravara},
  title     = {Foreword},
  journal   = {Sci. Comput. Program.},
  volume    = {89},
  pages     = {1},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2013.11.039},
  doi       = {10.1016/j.scico.2013.11.039},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/MousaviR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GayGR14,
  author    = {Simon J. Gay and
               Nils Gesbert and
               Ant{\'{o}}nio Ravara},
  title     = {Session Types as Generic Process Types},
  booktitle = {Proceedings Combined 21st International Workshop on Expressiveness
               in Concurrency and 11th Workshop on Structural Operational Semantics,
               {EXPRESS} 2014, and 11th Workshop on Structural Operational Semantics,
               {SOS} 2014, Rome, Italy, 1st September 2014.},
  pages     = {94--110},
  year      = {2014},
  crossref  = {DBLP:journals/corr/BorgstromC14},
  url       = {https://doi.org/10.4204/EPTCS.160.9},
  doi       = {10.4204/EPTCS.160.9},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GayGR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BeekR14,
  editor    = {Maurice H. ter Beek and
               Ant{\'{o}}nio Ravara},
  title     = {Proceedings 10th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
               18, 2014},
  series    = {{EPTCS}},
  volume    = {163},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.163},
  doi       = {10.4204/EPTCS.163},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BeekR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/GiuntiR13,
  author    = {Marco Giunti and
               Ant{\'{o}}nio Ravara},
  title     = {Towards Static Deadlock Resolution in the {\(\pi\)}-Calculus},
  booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
               2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
               Papers},
  pages     = {136--155},
  year      = {2013},
  crossref  = {DBLP:conf/tgc/2013},
  url       = {https://doi.org/10.1007/978-3-319-05119-2\_9},
  doi       = {10.1007/978-3-319-05119-2\_9},
  timestamp = {Wed, 14 Nov 2018 10:55:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/GiuntiR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RavaraS13,
  editor    = {Ant{\'{o}}nio Ravara and
               Josep Silva},
  title     = {Proceedings 9th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
               June 2013},
  series    = {{EPTCS}},
  volume    = {123},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.123},
  doi       = {10.4204/EPTCS.123},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/RavaraS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RavaraRV12,
  author    = {Ant{\'{o}}nio Ravara and
               Pedro Resende and
               Vasco Thudichum Vasconcelos},
  title     = {An Algebra of Behavioural Types},
  journal   = {Inf. Comput.},
  volume    = {212},
  pages     = {64--91},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2011.12.005},
  doi       = {10.1016/j.ic.2011.12.005},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/RavaraRV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-4327,
  editor    = {Natallia Kokash and
               Ant{\'{o}}nio Ravara},
  title     = {Proceedings 11th International Workshop on Foundations of Coordination
               Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
               8, 2012},
  series    = {{EPTCS}},
  volume    = {91},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.91},
  doi       = {10.4204/EPTCS.91},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1208-4327},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MartinhoR11,
  author    = {Joana Martinho and
               Ant{\'{o}}nio Ravara},
  title     = {Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation},
  journal   = {J. Autom. Reasoning},
  volume    = {46},
  number    = {3-4},
  pages     = {293--323},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10817-010-9189-7},
  doi       = {10.1007/s10817-010-9189-7},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/MartinhoR11},
  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 = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/LaneseRV11},
  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 = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria2011/FerreiraLRVZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1107-5847,
  editor    = {Mohammad Reza Mousavi and
               Ant{\'{o}}nio Ravara},
  title     = {Proceedings 10th International Workshop on the Foundations of Coordination
               Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
               10th September, 2011},
  series    = {{EPTCS}},
  volume    = {58},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.58},
  doi       = {10.4204/EPTCS.58},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1107-5847},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CairesFR10,
  author    = {Lu{\'{\i}}s Caires and
               Carla Ferreira and
               Ant{\'{o}}nio Ravara},
  title     = {A simple proof system for lock-free concurrency},
  booktitle = {International Workshop on Proof Systems for Program Logics, {PSPL}
               2010, Edinburgh, Scotland, UK, July 10, 2010},
  pages     = {1--3},
  year      = {2010},
  crossref  = {DBLP:conf/lics/2010pspl},
  url       = {http://www.easychair.org/publications/paper/51495},
  timestamp = {Fri, 02 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/CairesFR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GayVRGC10,
  author    = {Simon J. Gay and
               Vasco Thudichum Vasconcelos and
               Ant{\'{o}}nio Ravara and
               Nils Gesbert and
               Alexandre Z. Caldeira},
  title     = {Modular session types for distributed object-oriented programming},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  pages     = {299--312},
  year      = {2010},
  crossref  = {DBLP:conf/popl/2010},
  url       = {https://doi.org/10.1145/1706299.1706335},
  doi       = {10.1145/1706299.1706335},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/GayVRGC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/GamboniR10,
  author    = {Maxime Gamboni and
               Ant{\'{o}}nio Ravara},
  title     = {Responsive Choice in Mobile Processes},
  booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
               2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  pages     = {135--152},
  year      = {2010},
  crossref  = {DBLP:conf/tgc/2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3\_10},
  doi       = {10.1007/978-3-642-15640-3\_10},
  timestamp = {Wed, 14 Nov 2018 10:55:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/GamboniR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Cruz-FilipeLMRV08,
  author    = {Lu{\'{\i}}s Cruz{-}Filipe and
               Ivan Lanese and
               Francisco Martins and
               Ant{\'{o}}nio Ravara and
               Vasco Thudichum Vasconcelos},
  title     = {Behavioural Theory at Work: Program Transformations in a Service-Centred
               Calculus},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
               4-6, 2008, Proceedings},
  pages     = {59--77},
  year      = {2008},
  crossref  = {DBLP:conf/fmoods/2008},
  url       = {https://doi.org/10.1007/978-3-540-68863-1\_5},
  doi       = {10.1007/978-3-540-68863-1\_5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/Cruz-FilipeLMRV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/VazFR08,
  author    = {C{\'{a}}tia Vaz and
               Carla Ferreira and
               Ant{\'{o}}nio Ravara},
  title     = {Dynamic Recovering of Long Running Transactions},
  booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
               Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  pages     = {201--215},
  year      = {2008},
  crossref  = {DBLP:conf/tgc/2008},
  url       = {https://doi.org/10.1007/978-3-642-00945-7\_13},
  doi       = {10.1007/978-3-642-00945-7\_13},
  timestamp = {Fri, 02 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/VazFR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/MartinhoR08,
  author    = {Joana Martinho and
               Ant{\'{o}}nio Ravara},
  title     = {Encoding cryptographic primitives in a calculus with polyadic synchronization},
  booktitle = {International Conference on Theoretical and Mathematical Foundations
               of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages     = {102--109},
  year      = {2008},
  crossref  = {DBLP:conf/tmfcs/2008},
  timestamp = {Mon, 18 Aug 2008 07:46:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tmfcs/MartinhoR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LaneseMVR07,
  author    = {Ivan Lanese and
               Francisco Martins and
               Vasco Thudichum Vasconcelos and
               Ant{\'{o}}nio Ravara},
  title     = {Disciplining Orchestration and Conversation in Service-Oriented Computing},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {305--314},
  year      = {2007},
  crossref  = {DBLP:conf/sefm/2007},
  url       = {https://doi.org/10.1109/SEFM.2007.13},
  doi       = {10.1109/SEFM.2007.13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/LaneseMVR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VallecilloVR06,
  author    = {Antonio Vallecillo and
               Vasco Thudichum Vasconcelos and
               Ant{\'{o}}nio Ravara},
  title     = {Typing the Behavior of Software Components using Session Types},
  journal   = {Fundam. Inform.},
  volume    = {73},
  number    = {4},
  pages     = {583--598},
  year      = {2006},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-07},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/VallecilloVR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VasconcelosGR06,
  author    = {Vasco Thudichum Vasconcelos and
               Simon J. Gay and
               Ant{\'{o}}nio Ravara},
  title     = {Type checking a multithreaded functional language with session types},
  journal   = {Theor. Comput. Sci.},
  volume    = {368},
  number    = {1-2},
  pages     = {64--87},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.tcs.2006.06.028},
  doi       = {10.1016/j.tcs.2006.06.028},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/VasconcelosGR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BorealeBCNLLMMRSVZ06,
  author    = {Michele Boreale and
               Roberto Bruni and
               Lu{\'{\i}}s Caires and
               Rocco {De Nicola} and
               Ivan Lanese and
               Michele Loreti and
               Francisco Martins and
               Ugo Montanari and
               Ant{\'{o}}nio Ravara and
               Davide Sangiorgi and
               Vasco Thudichum Vasconcelos and
               Gianluigi Zavattaro},
  title     = {{SCC:} {A} Service Centered Calculus},
  booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  pages     = {38--57},
  year      = {2006},
  crossref  = {DBLP:conf/wsfm/2006},
  url       = {https://doi.org/10.1007/11841197\_3},
  doi       = {10.1007/11841197\_3},
  timestamp = {Fri, 25 Aug 2017 06:45:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/BorealeBCNLLMMRSVZ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VasconcelosRG04,
  author    = {Vasco Thudichum Vasconcelos and
               Ant{\'{o}}nio Ravara and
               Simon J. Gay},
  title     = {Session Types for Functional Multithreading},
  booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  pages     = {497--511},
  year      = {2004},
  crossref  = {DBLP:conf/concur/2004},
  url       = {https://doi.org/10.1007/978-3-540-28644-8\_32},
  doi       = {10.1007/978-3-540-28644-8\_32},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/VasconcelosRG04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/VallecilloVR03,
  author    = {Antonio Vallecillo and
               Vasco Thudichum Vasconcelos and
               Ant{\'{o}}nio Ravara},
  title     = {Typing the Behavior of Objects and Component Using Session Types},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {68},
  number    = {3},
  pages     = {439--456},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80382-2},
  doi       = {10.1016/S1571-0661(05)80382-2},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/VallecilloVR03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/RavaraMVL03,
  author    = {Ant{\'{o}}nio Ravara and
               Ana Gualdina Almeida Matos and
               Vasco Thudichum Vasconcelos and
               Lu{\'{\i}}s M. B. Lopes},
  title     = {Lexically scoped distribution: what you see is what you get},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {85},
  number    = {1},
  pages     = {61--79},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80088-X},
  doi       = {10.1016/S1571-0661(05)80088-X},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/RavaraMVL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RavaraV00,
  author    = {Ant{\'{o}}nio Ravara and
               Vasco Thudichum Vasconcelos},
  title     = {Typing Non-uniform Concurrent Objects},
  booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
               University Park, PA, USA, August 22-25, 2000, Proceedings},
  pages     = {474--488},
  year      = {2000},
  crossref  = {DBLP:conf/concur/2000},
  url       = {https://doi.org/10.1007/3-540-44618-4\_34},
  doi       = {10.1007/3-540-44618-4\_34},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/RavaraV00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/VasconcelosR99,
  author    = {Vasco Thudichum Vasconcelos and
               Ant{\'{o}}nio Ravara},
  title     = {Communication Errors in the pi-Calculus are Undecidable},
  journal   = {Inf. Process. Lett.},
  volume    = {71},
  number    = {5-6},
  pages     = {229--233},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0020-0190(99)00109-X},
  doi       = {10.1016/S0020-0190(99)00109-X},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/VasconcelosR99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/NestmannR99,
  author    = {Uwe Nestmann and
               Ant{\'{o}}nio Ravara},
  title     = {Semantics of Objects as Processes {(SOAP)}},
  booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
               Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  pages     = {314--325},
  year      = {1999},
  crossref  = {DBLP:conf/ecoopw/1999},
  url       = {https://doi.org/10.1007/3-540-46589-8\_18},
  doi       = {10.1007/3-540-46589-8\_18},
  timestamp = {Tue, 23 Jan 2018 13:29:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/NestmannR99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/RavaraV97,
  author    = {Ant{\'{o}}nio Ravara and
               Vasco Thudichum Vasconcelos},
  title     = {Behavioural Types for a Calculus of Concurrent Objects},
  booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
               Passau, Germany, August 26-29, 1997, Proceedings},
  pages     = {554--561},
  year      = {1997},
  crossref  = {DBLP:conf/europar/1997},
  url       = {https://doi.org/10.1007/BFb0002782},
  doi       = {10.1007/BFb0002782},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/europar/RavaraV97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1809-04554,
  editor    = {Temesghen Kahsai and
               Germ{\'{a}}n Vidal},
  title     = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
               {HCVS} 2018, Oxford, UK, 13th July 2018},
  series    = {{EPTCS}},
  volume    = {278},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.278},
  doi       = {10.4204/EPTCS.278},
  timestamp = {Thu, 11 Oct 2018 11:01:50 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-04554},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2017,
  editor    = {Ahmed Seffah and
               Birgit Penzenstadler and
               Carina Alves and
               Xin Peng},
  title     = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3019612},
  doi       = {10.1145/3019612},
  isbn      = {978-1-4503-4486-9},
  timestamp = {Wed, 05 Dec 2018 13:49:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2016,
  editor    = {Sascha Ossowski},
  title     = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2851613},
  doi       = {10.1145/2851613},
  isbn      = {978-1-4503-3739-7},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdp/2015,
  editor    = {Masoud Daneshtalab and
               Marco Aldinucci and
               Ville Lepp{\"{a}}nen and
               Johan Lilius and
               Mats Brorsson},
  title     = {23rd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
               2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7092671},
  isbn      = {978-1-4799-8491-6},
  timestamp = {Fri, 08 Apr 2016 13:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BeekL15,
  editor    = {Maurice H. ter Beek and
               Alberto Lluch{-}Lafuente},
  title     = {Proceedings 11th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
               2015},
  series    = {{EPTCS}},
  volume    = {188},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.188},
  doi       = {10.4204/EPTCS.188},
  timestamp = {Wed, 14 Nov 2018 10:31:27 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BeekL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromC14,
  editor    = {Johannes Borgstr{\"{o}}m and
               Silvia Crafa},
  title     = {Proceedings Combined 21st International Workshop on Expressiveness
               in Concurrency and 11th Workshop on Structural Operational Semantics,
               {EXPRESS} 2014, and 11th Workshop on Structural Operational Semantics,
               {SOS} 2014, Rome, Italy, 1st September 2014},
  series    = {{EPTCS}},
  volume    = {160},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.160},
  doi       = {10.4204/EPTCS.160},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BorgstromC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2013,
  editor    = {Mart{\'{\i}}n Abadi and
               Alberto Lluch{-}Lafuente},
  title     = {Trustworthy Global Computing - 8th International Symposium, {TGC}
               2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8358},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05119-2},
  doi       = {10.1007/978-3-319-05119-2},
  isbn      = {978-3-319-05118-5},
  timestamp = {Wed, 14 Nov 2018 10:55:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2013},
  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 = {Wed, 14 Nov 2018 10:12:22 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/sensoria11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2010pspl,
  editor    = {Alex Simpson},
  title     = {International Workshop on Proof Systems for Program Logics, {PSPL}
               2010, Edinburgh, Scotland, UK, July 10, 2010},
  series    = {EPiC Series in Computing},
  volume    = {12},
  publisher = {EasyChair},
  year      = {2013},
  url       = {http://www.easychair.org/publications/?page=181914752},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2010pspl},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2010,
  editor    = {Manuel V. Hermenegildo and
               Jens Palsberg},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1706299},
  isbn      = {978-1-60558-479-9},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2010,
  editor    = {Martin Wirsing and
               Martin Hofmann and
               Axel Rauschmayer},
  title     = {Trustworthly Global Computing - 5th International Symposium, {TGC}
               2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6084},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3},
  doi       = {10.1007/978-3-642-15640-3},
  isbn      = {978-3-642-15639-7},
  timestamp = {Wed, 14 Nov 2018 10:55:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2008,
  editor    = {Gilles Barthe and
               Frank S. de Boer},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
               4-6, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5051},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68863-1},
  doi       = {10.1007/978-3-540-68863-1},
  isbn      = {978-3-540-68862-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/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 = {Sun, 21 May 2017 00:19:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tmfcs/2008,
  editor    = {Zoran Majkic and
               Michael Sipser and
               R. Radha and
               Daming Wei},
  title     = {International Conference on Theoretical and Mathematical Foundations
               of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  publisher = {{ISRST}},
  year      = {2008},
  isbn      = {978-1-60651-006-3},
  timestamp = {Mon, 18 Aug 2008 07:46:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tmfcs/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2007,
  title     = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4343908},
  isbn      = {978-0-7695-2884-7},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2007},
  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/concur/2004,
  editor    = {Philippa Gardner and
               Nobuko Yoshida},
  title     = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3170},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100113},
  doi       = {10.1007/b100113},
  isbn      = {3-540-22940-X},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2000,
  editor    = {Catuscia Palamidessi},
  title     = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
               University Park, PA, USA, August 22-25, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1877},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44618-4},
  doi       = {10.1007/3-540-44618-4},
  isbn      = {3-540-67897-2},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoopw/1999,
  editor    = {Ana M. D. Moreira and
               Serge Demeyer},
  title     = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
               Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1743},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46589-8},
  doi       = {10.1007/3-540-46589-8},
  isbn      = {3-540-66954-X},
  timestamp = {Tue, 23 Jan 2018 13:29:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/1997,
  editor    = {Christian Lengauer and
               Martin Griebl and
               Sergei Gorlatch},
  title     = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
               Passau, Germany, August 26-29, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1300},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0002712},
  doi       = {10.1007/BFb0002712},
  isbn      = {3-540-63440-1},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/europar/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier