LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Laurent Doyen and Stefan Göller.

The seminar is open to public and does not require any form of registration.

Past Seminars

Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment

Visit website for this news | Export event in iCalendar format

Tuesday, February 21 2017 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Fabian Reiter (IRIF, Université Paris Diderot)

I will present the equivalence between a class of asynchronous distributed automata and a small fragment of least fixpoint logic, when restricted to finite directed graphs. More specifically, the considered logic is (a variant of) the fragment of modal μ-calculus that allows least fixpoints but forbids greatest fixpoints. The corresponding automaton model uses a network of identical finite-state machines that communicate in an asynchronous manner and whose state diagram must be acyclic except for self-loops. As a by-product, the connection with logic also entails that the expressive power of those machines is independent of whether or not messages can be lost.

About LSV


Export agenda in iCalendar format | Past seminars

Mon, Nov 27
Tue, Nov 28
Tue, Dec 5
Tue, Dec 12
Tue, Jan 23
Tue, Jan 30

Past seminars