Rob van Glabbeek

Ein klarer Blick auf Prozesse, Nebenläufigkeit und deren Bedeutung in der Informatik.

Ein Blick darauf, wie man erhaltende Bisimilarität ermöglicht und wie das die Prozessanalyse beeinflusst.

Ein Blick auf Stornierungseigenschaften in probabilistischen Systemen und ihre Auswirkungen.

Dieses Papier behandelt verzweigte Bisimilarität und die Auswirkungen von Zeitüberschreitungen auf reaktive Systeme.

Untersuche, wie Time-outs die Systeminteraktionen in der verzweigten Bisimilarität beeinflussen.

Lerne effektive Methoden, um das Verhalten von Systemen mit begrenzten Beobachtungen zu überwachen.