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

Date
Tuesday, February 21 2017 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
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

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jun 20

Past seminars