Seguir
Giovanni Bernardi
Giovanni Bernardi
Assistant professor, Université Paris Diderot - Paris VII
Dirección de correo verificada de tcd.ie - Página principal
Título
Citado por
Citado por
Año
A framework for transactional consistency models with atomic visibility
A Cerone, G Bernardi, A Gotsman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
1132015
Using higher-order contracts to model session types
G Bernardi, M Hennessy
Logical Methods in Computer Science 12, 2016
632016
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
572016
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
462014
Modelling session types using contracts
G Bernardi, M Hennessy
Mathematical Structures in Computer Science 26 (3), 510-560, 2016
302016
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
252015
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
202008
Compliance and testing preorders differ
G Bernardi, M Hennessy
International Conference on Software Engineering and Formal Methods, 69-81, 2013
152013
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
Using higher-order contracts to model session types, Log
G Bernardi, M Hennessy
Methods Comput. Sci 12 (2), 2016
52016
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20