direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Up to now, correctness studies on distributed systems are often based on informal or semi-formal methods.  Our vision is to systematically employ techniques from the areas of formal semantics and mathematical logics, as they  have been developed over the last 30 years in the field of Concurrency Theory.
Further research interests and goals are displayed on the pages Mission & Vision.


  • Article accepted (FORTE 2017)

    Article "Session Types for Link Failures" accepted for FORTE 2017 (Authors: Manuel Adameit, Kirstin Peters und Uwe Nestmann). Associated with DisCoTec 2017.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions