Concurrency and distributed systems - Concurrence et distribué

Upcoming Events

  • 9-10 Dec 2020: Talks at Journées scientifiques du LMF (online).

Permanent members

Associated members

Non-permanent members

Topics

The team works on diverse topics from concurrent and distributed systems, studying their properties and fundamental limitations both from a theoretical and application-oriented perspective. A list of (roughly weighted by team members) research topics include:

  • Models of concurrent and distributed systems (e.g. Petri nets, Boolean networks, message passing & shared memory models, ...):
    • models of the environment / communication (6)
    • computational models (2)
    • semantics (1)
    • solvability of problems in models (6)
    • reductions among models / hierarchies / simulations (5)
  • Aspects of concurrency:
    • communication (4)
    • synchronization (4)
    • time (3)
    • causality (4)
    • knowledge (3)
    • topology (1)
    • structure of / relations among traces (4)
  • Problems and solutions in distributed systems:
    • problems in distributed systems (2)
    • distributed algorithm design (1)
    • automated synthesis of distributed algorithms (4)
    • correctness / complexity / impossibility results (5)
  • Concurrent systems / process models:
    • algorithmic analysis (conformance checking / properties / complexity / undecidability) (8)
    • optimization of concurrent systems (1)
    • mining / automated model generation (3)
  • Models of concurrent and distributed systems for:
    • timed systems (5)
    • systems with faults / noise (4)
    • dynamic networks (4)
    • circuits in (synthetic) biology (2)
    • circuits in silicon (1)
    • processes (in hospitals / industry / ...) (3)
    • log traces (2)

Comments

Please add comments, questions, triggers for discussions, etc. here.

Patricia : Do we want to add some publications as they did in "Preuve pour l'arithmétique des ordinateurs" ? (PROS : good to witness the activity; CONS : should be updated later, and this is some work)

Matthias: I think thats a nice idea.