Department of Computer Science at RPTU in Kaiserslautern

Anca Muscholl

(LaBRI (Université de Bordeaux))
hosted by Joël Ouaknine

"Distributed synthesis and negotiations"

( MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

This talk will be a survey of instances of the synthesis problem in distributed models with rendez-vous synchronization.I will talk about synthesis for distributed automata within the theory of Mazurkiewicz traces and about the simplermodel of negotiation diagrams (aka as workflow nets).


Time: Friday, 04.12.2020, 10:00

Termin als iCAL Datei downloaden und in den Kalender importieren.