Martin Vassor
Orcid: 0000-0002-2057-0495
According to our database1,
Martin Vassor
authored at least 7 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation.
CoRR, 2024
Proceedings of the Coordination Models and Languages, 2024
2022
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022
2021
Graphes de localités : une approche formelle à l'encapsulation et implémentation. (Location graphs : a formal approach to encapsulation and its implementation).
PhD thesis, 2021
Proceedings of the Reversible Computation - 13th International Conference, 2021
2019
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019
2018
Proceedings of the Reversible Computation - 10th International Conference, 2018