Martin Vassor

12 papers A 1B 1C 5Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2026 — conf
Bounded Reversibility in HO$$\pi $$.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Ivan Lanese, Claudio Antares Mezzina, Martin Vassor
2025 C conf
Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $.
RC
Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida
2024 J jnl
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact).
Dagstuhl Artifacts Ser.
Martin Vassor, Nobuko Yoshida
2024 A conf
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation.
ECOOP
Martin Vassor, Nobuko Yoshida
2024 J jnl
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation.
CoRR
Martin Vassor, Nobuko Yoshida
2024 C conf
The Concurrent Calculi Formalisation Benchmark.
COORDINATION
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
2022 B conf
Deadlock-free asynchronous message reordering in rust with multiparty session types.
PPoPP
Zak Cutner, Nobuko Yoshida, Martin Vassor
2021 J jnl
Deadlock-free asynchronous message reordering in Rust with multiparty session types.
CoRR
Zak Cutner, Nobuko Yoshida, Martin Vassor
2021 — —
Graphes de localités : une approche formelle à l'encapsulation et implémentation. (Location graphs : a formal approach to encapsulation and its implementation).
Martin Vassor
2021 C conf
Reversibility and Predictions.
RC
Martin Vassor
2019 C conf
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.
FORTE
Jean-Bernard Stefani, Martin Vassor
2018 C conf
Checkpoint/Rollback vs Causally-Consistent Reversibility.
RC
Martin Vassor, Jean-Bernard Stefani