Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
Image document

Axiomatizing Maximal Progress and Discrete Time

Mario Bravetti
Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:1)2021⟩
Journal articles hal-03340630v1
Image document

Process calculi as a tool for studying coordination, contracts and session types

Mario Bravetti , Gianluigi Zavattaro
Journal of Logical and Algebraic Methods in Programming, 2020, 112, pp.100527. ⟨10.1016/j.jlamp.2020.100527⟩
Journal articles hal-03102438v1

A Java typestate checker supporting inheritance

Lorenzo Bacchiani , Mario Bravetti , Marco Giunti , João Mota , António Ravara et al.
Science of Computer Programming, 2022, 221, pp.102844. ⟨10.1016/j.scico.2022.102844⟩
Journal articles hal-03930280v1
Image document

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Mario Bravetti , Marco Carbone , Julien Lange , Nobuko Yoshida , Gianluigi Zavattaro et al.
Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:20)2021⟩
Journal articles hal-03340689v1
Image document

Choreographies and Behavioural Contracts on the Way to Dynamic Updates

Mario Bravetti , Gianluigi Zavattaro
Proceedings First Workshop on Logics and Model-checking for Self*-Systems, Sep 2014, Bertinoro (FC), Italy. pp.12 - 31, ⟨10.4204/EPTCS.168.2⟩
Conference papers hal-01090924v1
Image document

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Mario Bravetti , Adrian Francalanza , Iaroslav Golovanov , Hans Hüttel , Mathias S Jakobsen et al.
APLAS 2020 - 18th Asian Symposium on Programming Languages and Systems, Nov 2020, Fukuoka / Virtual, Japan
Conference papers hal-03102375v1
Image document

Fair Refinement for Asynchronous Session Types

Mario Bravetti , Julien Lange , Gianluigi Zavattaro
FOSSACS 2021 - 24th International Conference on Foundations of Software Science and Computation Structures, Mar 2021, Luxembourgh, Luxembourg. ⟨10.1007/978-3-030-71995-1⟩
Conference papers hal-03340696v1
Image document

A Formal Approach to Microservice Architecture Deployment *

Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro et al.
Microservices, Science and Engineering, 2020
Book sections hal-03077047v1
Image document

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

Mario Bravetti , Gianluigi Zavattaro
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers hal-01821498v1
Image document

A Session Subtyping Tool

Lorenzo Bacchiani , Mario Bravetti , Julien Lange , Gianluigi Zavattaro
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩
Conference papers hal-03340750v1