Rob van Glabbeek

ビシミラリティを保持することの実現と、それがプロセス分析に与える影響についての考察。

確率システムにおけるキャンセル特性とその影響を見てみる。

この論文は分岐バイシミラリティと、リアクティブシステムにおけるタイムアウトの影響について話してるよ。

時間外が分岐バイシミラリティにおけるシステムの相互作用にどんな影響を与えるかを探ってみて。

限られた観察を使ってシステムの挙動を監視する効果的な方法を学ぼう。