Anca Muscholl(LaBRI (Université de Bordeaux))
hosted by Joël Ouaknine
"Distributed synthesis and negotiations"
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|