Campus Event Calendar: Anca Muscholl (12/04/2020 in Virtual talk/Virtual talk)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

New for: D1, D2, D3, INET, D4, D5

What and Who

Distributed synthesis and negotiations

Anca Muscholl

Universite de Bordeaux

SWS Distinguished Lecture Series

AG 1, AG 2, AG 3, INET, AG 4, AG 5, SWS, RG1, MMCI

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Friday, 4 December 2020

10:00

60 Minutes

Virtual talk

Saarbrücken

Abstract

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 simpler model of negotiation diagrams (aka as workflow nets).

---

Please contact Office for Zoom details.

Contact

Danielle Dalton

+49 681 9303 9106

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Danielle Dalton, 01/26/2021 12:24 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis