Rob van Glabbeek

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.