Participants : Gérard Le Lann, Pascale Minet
Cette coopération concerne le projet ``Construction and Performance of Real-Time Transactions'', dirigé par Peter van der Stok et Dieter Hammer de l'Université de Eindhoven.
Pascale Minet a participé au séminaire organisé en 1995, lequel a réuni utilisateurs et chercheurs. L'approche suivie par Reflecs est de nature déterministe (garantie d'un temps de réponse inférieur à une borne, face à des adversaires dont il s'agit de déterminer le comportement pire cas) tandis que celle suivie par l'équipe hollandaise est de nature probabiliste (probabilité qu'un temps de réponse soit supérieur à une borne donnée). Sur un modèle de type transactionnel, les bornes supérieures fournies par Reflecs ont été analysées et confirmées par P. van der Stok.