Uli Fahrenberg:
Discrete and continuous models for concurrent systems

• 1. The geometry of concurrency
• 2. Concurrent semantics of Petri nets
• 3. Languages of higher-dimensional automata
• 4. Higher-dimensional automata theory
• 5. Advanced topics
• Exercises with solutions

Acquis d'apprentissage visés

• Know different formalisms of directed spaces and know to classify examples
• Understand the concurrent semantics of Petri nets as HDAs
• Understand the notion of language of an HDA and know to compute examples
• Understand the relation between HDAs and ST-automata

Links

• Uli Fahrenberg
• Laboratoire Méthodes Formelles
• The (i)Po(m)set Project
• Niki Hermann's list of conferences in theoretical computer science