direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Bisherige Korrektheitsuntersuchungen zu verteilten Systemen basieren oftmals auf lediglich informellen oder semi-formalen Methoden. Unsere Vision ist es, systematisch Techniken der formalen Semantik und mathematischen Logik, wie sie im Gebiet der Concurrency Theory seit etwa 30 Jahren entwickelt werden, anzuwenden und anwendungsorientiert weiter zu entwickeln.
Weitere Forschungsinteressen und -ziele sind auf den Seiten Mission & Vision dargestellt.

Aktuelles

  • Artikel erschienen

    Die ausführliche Version von "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 29.07.2020 in Information and Computation veröffentlicht (https://doi.org/10.1016/j.ic.2020.104608).

  • Artikel zur Veröffentlichung akzeptiert

    Der Artikel "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 5.12.2019 für die Publikation in einer speziellen Ausgabe von Information and Computation, die ausgewählten Arbeiten...

  • Artikel zur Veröffentlichung akzeptiert

    Artikel von Dr. Kirstin Peters, Benjamin Bisping und Uwe Nestmann "Coupled Similarity: The First 32 Years" wurde für die Veröffentlichung in Acta Informatica akzeptiert. Veröffentlichungsdatum tba.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe