Follow
Giovanni Bernardi
Giovanni Bernardi
Assistant professor, UniversitÚ Paris Diderot - Paris VII
Verified email at tcd.ie - Homepage
Title
Cited by
Cited by
Year
A framework for transactional consistency models with atomic visibility
A Cerone, G Bernardi, A Gotsman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
1052015
Using higher-order contracts to model session types
G Bernardi, M Hennessy
Logical Methods in Computer Science 12, 2016
642016
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
552016
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Romeá…, 2014
442014
Modelling session types using contracts
G Bernardi, M Hennessy
Mathematical Structures in Computer Science 26 (3), 510-560, 2016
292016
Modelling session types using contracts
G Bernardi, M Hennessy
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1941-1946, 2012
272012
Mutually testing processes
G Bernardi, M Hennessy
Logical Methods in Computer Science 11, 2015
262015
A theory of adaptable contract-based service composition
G Bernardi, M Bugliesi, D Macedonio, S Rossi
2008 10th International Symposium on Symbolic and Numeric Algorithms forá…, 2008
192008
Compliance and testing preorders differ
G Bernardi, M Hennessy
International Conference on Software Engineering and Formal Methods, 69-81, 2013
142013
Behavioural equivalences for web services
G Bernardi
Trinity College Dublin, 2013
112013
Full-abstraction for client testing preorders
G Bernardi, A Francalanza
Science of Computer Programming 168, 94-117, 2018
72018
Full-abstraction for must testing preorders
G Bernardi, A Francalanza
International Conference on Coordination Languages and Models, 237-255, 2017
52017
26th International Conference on Concurrency Theory (CONCUR 2015)
R Di Cosmo, M Lienhardt, J Mauro, S Zacchiroli, G Zavattaro, ...
Schloss Dagstuhl-Leibniz-Zentrum fŘr Informatik GmbH, 2015
2015
Cuddling cats
G Bernardi
2012
Notes on the paper A General Distance between RNA Structures
G Bernardi, J Van Rijn
2008
On non-commutative logic and process calculi
M Acclavio, G Bernardi, G Manara, F Montesi
Testing preorders for asynchronous processes
G BERNARDI
Mathematical Structures in Computer Science
G BERNARDI, M HENNESSY
Unification of Session Trees
G Bernardi, SJ Gay, VT Vasconcelos
Informal Proceedings, 45, 0
Analysing and Optimising Parallel Snapshot Isolation
G Bernardi, A Cerone, A Gotsman, H Yang
The system can't perform the operation now. Try again later.
Articles 1–20