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 [1] & Vision [2].

News

  • EXPRESS/SOS 2020 - Program Committee [3]

    Uwe Nestmann was invited to the program committee for EXPRESS/SOS 2020.

  • Article accepted for publication [4]

    The article "Distributability of Mobile Ambients" by Kirstin Peters and Uwe Nestmann has been accepted on 5 Dezember 2019 for publication in "a special issue of Information and Computation devoted to selected...

  • Article accepted for publication [5]

    Article by Dr. Kirstin Peters, Benjamin Bisping and Uwe Nestmann "Coupled Similarity: The First 32 Years" has been accepted for publication in Acta Informatica Release date tba.

  • ABZ 2020 - Program Committee [6]

    Uwe Nestmann was invited to the program committee for ABZ 2020.

------ Links: ------

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008