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
Place: https://zoom.us/j/99600775577?pwd=b21ZcTUyU2Z0N1VUUTRpa3JQWllyUT09
Video:

Termin als iCAL Datei downloaden und in den Kalender importieren.