BibTeX records: Giovanni Tito Bernardi

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Giovanni Tito Bernardi

download as .bib file

@article{DBLP:journals/scp/BernardiF18,
  author       = {Giovanni Tito Bernardi and
                  Adrian Francalanza},
  title        = {Full-abstraction for client testing preorders},
  journal      = {Sci. Comput. Program.},
  volume       = {168},
  pages        = {94--117},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2018.08.004},
  doi          = {10.1016/J.SCICO.2018.08.004},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BernardiF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/BernardiF17,
  author       = {Giovanni Bernardi and
                  Adrian Francalanza},
  editor       = {Jean{-}Marie Jacquet and
                  Mieke Massink},
  title        = {Full-Abstraction for Must Testing Preorders - (Extended Abstract)},
  booktitle    = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2017, Held as Part of the 12th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10319},
  pages        = {237--255},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59746-1\_13},
  doi          = {10.1007/978-3-319-59746-1\_13},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BernardiF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BernardiH13,
  author       = {Giovanni Bernardi and
                  Matthew Hennessy},
  title        = {Using higher-order contracts to model session types},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {12},
  number       = {2},
  year         = {2016},
  url          = {https://doi.org/10.2168/LMCS-12(2:10)2016},
  doi          = {10.2168/LMCS-12(2:10)2016},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BernardiH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/BernardiH16,
  author       = {Giovanni Tito Bernardi and
                  Matthew Hennessy},
  title        = {Modelling session types using contracts},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {26},
  number       = {3},
  pages        = {510--560},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0960129514000243},
  doi          = {10.1017/S0960129514000243},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BernardiH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/0002G16,
  author       = {Giovanni Bernardi and
                  Alexey Gotsman},
  editor       = {Jos{\'{e}}e Desharnais and
                  Radha Jagadeesan},
  title        = {Robustness against Consistency Models with Atomic Visibility},
  booktitle    = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
                  August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  series       = {LIPIcs},
  volume       = {59},
  pages        = {7:1--7:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.7},
  doi          = {10.4230/LIPICS.CONCUR.2016.7},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/0002G16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BernardiH15,
  author       = {Giovanni Bernardi and
                  Matthew Hennessy},
  title        = {Mutually Testing Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {11},
  number       = {2},
  year         = {2015},
  url          = {https://doi.org/10.2168/LMCS-11(2:1)2015},
  doi          = {10.2168/LMCS-11(2:1)2015},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BernardiH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Cerone0G15,
  author       = {Andrea Cerone and
                  Giovanni Bernardi and
                  Alexey Gotsman},
  editor       = {Luca Aceto and
                  David de Frutos{-}Escrig},
  title        = {A Framework for Transactional Consistency Models with Atomic Visibility},
  booktitle    = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
                  Madrid, Spain, September 1.4, 2015},
  series       = {LIPIcs},
  volume       = {42},
  pages        = {58--71},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.58},
  doi          = {10.4230/LIPICS.CONCUR.2015.58},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/Cerone0G15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BernardiH14,
  author       = {Giovanni Bernardi and
                  Matthew Hennessy},
  editor       = {Paolo Baldan and
                  Daniele Gorla},
  title        = {Using Higher-Order Contracts to Model Session Types (Extended Abstract)},
  booktitle    = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
                  {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8704},
  pages        = {387--401},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44584-6\_27},
  doi          = {10.1007/978-3-662-44584-6\_27},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BernardiH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/BernardiDGK14,
  author       = {Giovanni Bernardi and
                  Ornela Dardha and
                  Simon J. Gay and
                  Dimitrios Kouzapas},
  editor       = {Matteo Maffei and
                  Emilio Tuosto},
  title        = {On Duality Relations for Session Types},
  booktitle    = {Trustworthy Global Computing - 9th International Symposium, {TGC}
                  2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8902},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45917-1\_4},
  doi          = {10.1007/978-3-662-45917-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BernardiDGK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BernardiH13,
  author       = {Giovanni Bernardi and
                  Matthew Hennessy},
  editor       = {Pedro R. D'Argenio and
                  Hern{\'{a}}n C. Melgratti},
  title        = {Mutually Testing Processes - (Extended Abstract)},
  booktitle    = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
                  {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8052},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40184-8\_6},
  doi          = {10.1007/978-3-642-40184-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BernardiH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BernardiH13,
  author       = {Giovanni Bernardi and
                  Matthew Hennessy},
  editor       = {Steve Counsell and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {Compliance and Testing Preorders Differ},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
                  BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
                  September 23-24, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8368},
  pages        = {69--81},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05032-4\_6},
  doi          = {10.1007/978-3-319-05032-4\_6},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BernardiH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/BernardiH12,
  author       = {Giovanni Bernardi and
                  Matthew Hennessy},
  editor       = {Sascha Ossowski and
                  Paola Lecca},
  title        = {Modelling session types using contracts},
  booktitle    = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
                  Riva, Trento, Italy, March 26-30, 2012},
  pages        = {1941--1946},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2245276.2232097},
  doi          = {10.1145/2245276.2232097},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BernardiH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/synasc/BernardiBMR08,
  author       = {Giovanni Bernardi and
                  Michele Bugliesi and
                  Damiano Macedonio and
                  Sabina Rossi},
  editor       = {Viorel Negru and
                  Tudor Jebelean and
                  Dana Petcu and
                  Daniela Zaharie},
  title        = {A Theory of Adaptable Contract-Based Service Composition},
  booktitle    = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
                  Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
                  2008},
  pages        = {327--334},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SYNASC.2008.38},
  doi          = {10.1109/SYNASC.2008.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/synasc/BernardiBMR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.