Giovanni Bernardi

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 3

Top Topics

Extended Abstract

Computational Models

Top Venues

Log. Methods Comput. Sci.

Publications

Giovanni Bernardi, Adrian Francalanza
Full-Abstraction for Must Testing Preorders - (Extended Abstract). COORDINATION (2017)
Giovanni Bernardi, Matthew Hennessy
Using higher-order contracts to model session types. Log. Methods Comput. Sci. 12 (2) (2016)
Giovanni Bernardi, Alexey Gotsman
Robustness against Consistency Models with Atomic Visibility. CONCUR (2016)
Giovanni Bernardi, Matthew Hennessy
Mutually Testing Processes. Log. Methods Comput. Sci. 11 (2) (2015)
Andrea Cerone, Giovanni Bernardi, Alexey Gotsman
A Framework for Transactional Consistency Models with Atomic Visibility. CONCUR (2015)
Giovanni Bernardi, Matthew Hennessy
Using Higher-Order Contracts to Model Session Types (Extended Abstract). CONCUR (2014)
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
On Duality Relations for Session Types. TGC (2014)
Giovanni Bernardi, Matthew Hennessy
Mutually Testing Processes - (Extended Abstract). CONCUR (2013)
Giovanni Bernardi, Matthew Hennessy
Compliance and Testing Preorders Differ. SEFM Workshops (2013)
Giovanni Bernardi, Matthew Hennessy
Modelling session types using contracts. SAC (2012)
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
A Theory of Adaptable Contract-Based Service Composition. SYNASC (2008)