Groupe de travail

Sémantique du parallélisme

1992 - 1993

Le mardi de 16h à 17h30
Salle A, LaBRI, Troisième étage.

Réunions.

• 19 mai 1993. Paul Crubillé (LaBRI). Développement de systèmes réactifs valides.
• 5 mai 1993. Screko Brlek (LACIM Montréal). Analyse de deadlock dans un systeme de gestion de courrier electronique.
• 28 avril 1993. Réunion informelle. Ajout et maintenance de fonctionnalites dans MEC.
• 7 avril 1993. Wieslaw Zielonka (LaBRI). Circuits asynchrones.
• 31 mars 1993. Téodor Knapik (LaBRI). Vers une notion adéquate d'observation.
• 24 mars 1993. Anne Dicky (LaBRI). Vérification de processus à contraintes temporelles.
• 17 mars 1993. Téodor Knapik (LaBRI). Différentes notions d'observation dans les types abstraits.
• 10 mars 1993. Paul Crubille (LaBRI). Implémantation des systèmes de transition de Mec version 4: interface et exceptions.
• 3 mars 1993. Screko Brlek (LACIM Montréal). La version numero 4 du "Phone Call System".
• 24 février 1993. Screko Brlek (LACIM Montréal). La version numero 2 du "Phone Call System".
• 10 février 1993. Viviane Deletage (LaBRI). Le format commun.
• 3 février 1993. Jean-Pierre Radoux (LaBRI). A propos des jeux de E & F.
• 27 janvier 1993. Paul Crubillé (LaBRI). A propos du transit node.
• 20 janvier 1993. David Janin (LaBRI). Jeux de E \& F sur automates.
• 6 janvier 1993. André Arnold (LaBRI). Le transit node.
• 9 décembre 1992. André Arnold (LaBRI). Contrîle d'une chaudière.
• 2 décembre 1992. Antoine Rauzy (LaBRI). Premières expériences avec Toupie.
• 25 novembre 1992. Patrick Félix et Alain Griffault (LaBRI). Réduction de Systèmes de transition.
• 18 novembre 1992. Jean-Pierre Radoux (LaBRI). Analyse des défaillances d'une bobine d'alimentation.
• 21 octobre 1992. Atelier Bordeaux-Montréal (BMW).
• 14 octobre 1992. Alain Griffault (LaBRI). Sémantique et validation de programmes C.S.P.
• 7 octobre 1992. Didier Bégay (LaBRI). Sémantique des Statecharts.
• 23 septembre 1992. André Arnold (LaBRI). Une transition qui vaut 7000$.

Années suivantes

• MVTsi 1997-1998.
• MVTsi 1996-1997.
• MVTsi 1995-1996.
• Sémantique du parallélisme 1994-1995.
• Sémantique du parallélisme 1993-1994.

Navigation