direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Artikel akzeptiert (FORTE 2017)

    Artikel "Session Types for Link Failures" akzeptiert für FORTE 2017 (Autoren: Manuel Adameit, Kirstin Peters und Uwe Nestmann). Assoziiert mit DisCoTec 2017.

  • Artikel akzeptiert (FORTE 2015)

    Artikel "Dynamic Causality in Event Structures" akzeptiert für FORTE 2015 (Autoren: Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann). Assoziiert mit DisCoTec 2015.

  • OPCT - Eingeladener Vortrag

    Eingeladener Vortrag von Uwe Nestmann bei Open Problems in Concurrency Theory at the University Residential Center of Bertinoro, organisiert durch die IFIP WG 1.8 Concurrency Theory.

  • TRENDS 2013 - Eingeladener Vortrag

    Eingeladener Vortrag von Uwe Nestmann bei TRENDS 2013, organisiert durch die IFIP WG 1.8 Concurrency Theory, im Rahmen der CONCUR 2013 in Buenos Aires.

Treffer 1 bis 7 von 49
<< Erste < Vorherige 1-7 8-14 15-21 22-28 29-35 36-42 43-49 Nächste > Letzte >>

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe