XIAO-MEI LI,1 XU-HUI LIU,1 ELISABETH FILIPSKI,1 GÉRARD METZGER,1 PHILIPPE DELAGRANGE,2 JEAN-PHILIPPE JEANNIOT,3 AND FRANCIS LÉVI1 1Laboratoire ‘‘Rythmes Biologiques and Chronothérapeutique,’’ Institut du Cancer et d’Immunogénétique et Université Paris XI, Hôpital Paul Brousse, 94807 Villejuif Cedex; 2Institut de Recherches Internationales Servier, 92415 Courbevoie; and 3Technologie Servier, 450...

Jean Clairambault, Philippe Michel, and Benôıt Perthame 1 INRIA, projet BANG, Domaine de Voluceau, BP 105, F78153 Le Chesnay Cedex jean.clairambault@inria.fr 2 Département de Mathématiques et Applications, UMR 8553, École Normale Supérieure, 45, rue d’Ulm, F75230 Paris Cedex 05, tel. 01 44 27 20 36, fax 01 44 32 20 80 Philippe.Michel@dma.ens.fr, Benoit.Perthame@ens.fr 3 CEREMADE, Université Par...

Lucy-n est un langage permettant de programmer des réseaux de processus communiquant à travers des buffers de taille bornée. La taille des buffers et les rythmes d’exécution relatifs des processus sont calculés par une phase de typage appelée calcul d’horloge. Ce typage nécessite la résolution d’un ensemble de contraintes de sous-typage. L’an dernier, nous avons proposé un algorithme de résolut...