• Home
  • Laurent Prosperi
Laurent Prosperi

Laurent Prosperi
Sorbonne Université, CNRS, INRIA, LIP6 · Delys

MS

About

7
Publications
430
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
38
Citations
Citations since 2016
7 Research Items
38 Citations
201620172018201920202021202202468101214
201620172018201920202021202202468101214
201620172018201920202021202202468101214
201620172018201920202021202202468101214
Introduction
Research interests : distributed systems, programming language and verification for distributed systems, consistency, epistemic logic

Publications

Publications (7)
Conference Paper
We introduce a novel comprehensive framework for epistemic reasoning in multi-agent systems where agents may behave asynchronously and may be byzantine faulty. Extending Fagin et al.’s classic runs-and-systems framework to agents who may arbitrarily deviate from their protocols, it combines epistemic and temporal logic and incorporates fine-grained...
Preprint
Full-text available
Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating over unreliable channels, causality is well studied and understood. This understanding, however, relies heavily on the assumption that agents themselves are correct and rel...
Poster
Full-text available
Causal analysis of asynchronous distributed multi-agent systems
Conference Paper
Full-text available
Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating over unreliable channels, causality is well studied and understood. This understanding, however, relies heavily on the assumption that agents themselves are correct and rel...
Technical Report
Full-text available
We present an extension incorporating Byzantine agents into the epistemic runs-and-systems framework for modeling distributed systems introduced by Fagin et al. [FHMV95]. Our framework relies on a careful separation of concerns for various actors involved in the evolution of a message-passing distributed system: the agents' protocols, the underlyin...
Article
Full-text available
Stream processing applications handle unbounded and continuous flows of data items which are generated from multiple geographically distributed sources. Two approaches are commonly used for processing: Cloud-based analytics and Edge analytics. The first one routes the whole data set to the Cloud, incurring significant costs and late results from th...

Network

Cited By

Projects

Project (1)
Project
Study Reasoning about Knowledge in Byzantine Distributed Systems