Sign in
Martin Vassor
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 5
Top Topics
Message Transmission
Top Venues
RC
CoRR
FORTE
PPoPP
</>
Publications
</>
Zak Cutner
,
Nobuko Yoshida
,
Martin Vassor
Deadlock-free asynchronous message reordering in rust with multiparty session types.
PPoPP
(2022)
Martin Vassor
Reversibility and Predictions.
RC
(2021)
Zak Cutner
,
Nobuko Yoshida
,
Martin Vassor
Deadlock-free asynchronous message reordering in Rust with multiparty session types.
CoRR
(2021)
Jean-Bernard Stefani
,
Martin Vassor
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.
FORTE
(2019)
Martin Vassor
,
Jean-Bernard Stefani
Checkpoint/Rollback vs Causally-Consistent Reversibility.
RC
(2018)