Philippe Quéinnec

From MaRDI portal
Person:315310

Available identifiers

zbMath Open queinnec.philippeMaRDI QIDQ315310

List of research outcomes





PublicationDate of PublicationType
Abstracting communication to reason about distributed algorithms2024-07-11Paper
Tasks in modular proofs of concurrent algorithms2024-04-19Paper
Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+}2024-04-05Paper
Tasks in modular proofs of concurrent algorithms2023-05-19Paper
Derivation of Heard-of Predicates from Elementary Behavioral Patterns2022-10-13Paper
https://portal.mardi4nfdi.de/entity/Q50910922022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q51556892021-10-08Paper
https://portal.mardi4nfdi.de/entity/Q33008322020-07-30Paper
A modular framework for verifying versatile distributed systems2019-11-28Paper
On the diversity of asynchronous communication2016-09-20Paper

Research outcomes over time

This page was built for person: Philippe Quéinnec

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:315310&oldid=7247886"
Powered by MediaWiki