Rob van Glabbeek

Ce papier parle de la bisimilarité par branches et de l'impact des time-outs sur les systèmes réactifs.

Explore comment les pauses impactent les interactions système dans la bisimilarité par branches.

Apprends des méthodes efficaces pour surveiller le comportement du système avec des observations limitées.