Initiation to research / Uli Fahrenberg:
Modeling and analysis of concurrent systems

Plan of the course:

2026-09-15:

  1. Elements of Higher-Dimensional Automata Theory / UF: initial presentation
  2. Bibliography:
    1. Closure and Decision Properties for Higher-Dimensional Automata
    2. Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
    3. Posets With Interfaces as a Model for Concurrency
    4. Petri Nets and Higher-Dimensional Automata
    5. Series–parallel languages and the bounded-width property
    6. Concurrent Kleene algebra (PhD thesis)
    7. Brzozowski Goes Concurrent
    8. Concurrent Kleene algebra and its foundations
    (Do not hesitate to find other material; but ask me before going too deep.)
  3. Planning: who does what?
  4. Algorithm for preparing a presentation:
    1. Choose paper to present
    2. Skim paper
    3. Talk with me about the paper and which parts are important to understand and present
    4. Prepare presentation
    5. (Optional) Get back to me to have feedback on presentation
    6. Present paper!

2026-09-22:

  1. Posets With Interfaces as a Model for Concurrency / Lucas
  2. Discussion on iposets and their (categorical) algebra / UF

2026-09-29:

  1. Closure and Decision Properties for Higher-Dimensional Automata / Vladimir
  2. Petri Nets and Higher-Dimensional Automata / Paul

2026-10-06:

  1. Concurrent Kleene algebra and its foundations / Nicolas

2026-10-13:

  1. Brzozowski Goes Concurrent / Raphaël