Writings

Published

An automata based approach for synchronizable mailbox communication
with Anca Muscholl & Grégoire Sutre, CONCUR 2024.
pdf

Unpublished

Analysis and verification of concurrent programs inder mailbox semantics
with Anca Muscholl & Grégoire Sutre, (internship)<\br> report