Philippe Quéinnec

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstracting communication to reason about distributed algorithms	2024-07-11	Paper
Tasks in modular proofs of concurrent algorithms	2024-04-19	Paper
Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+}	2024-04-05	Paper
Tasks in modular proofs of concurrent algorithms Information and Computation	2023-05-19	Paper
Derivation of heard-of predicates from elementary behavioral patterns Formal Techniques for Distributed Objects, Components, and Systems	2022-10-13	Paper
scientific article; zbMATH DE number 7561446 (Why is no real title available?) (available as arXiv preprint)	2022-07-21	Paper
scientific article; zbMATH DE number 7407798 (Why is no real title available?) (available as arXiv preprint)	2021-10-08	Paper
scientific article; zbMATH DE number 7407798 (Why is no real title available?)	2021-10-08	Paper
Asynchronous message orderings beyond causality	2020-07-30	Paper
A modular framework for verifying versatile distributed systems Journal of Logical and Algebraic Methods in Programming	2019-11-28	Paper
On the diversity of asynchronous communication Formal Aspects of Computing	2016-09-20	Paper

Research outcomes over time

This page was built for person: Philippe Quéinnec