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 
Datei downloaden und in den Kalender importieren.