direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content


  • 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.

  • CRC Press - Article published

    Article "Business Process Specification and Analysis" was published today as part of the book "Process Algebra for Parallel and Distributed Processing" (Co-Authors Uwe Nestmann, Frank...

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions