********************************************************************* * Ecole Normale Supe'rieure * * * * Se'minaire * * SEMANTIQUE ET INTERPRETATION ABSTRAITE * * P. Cousot * * * * Vendredi, 14h00--15h30 * * Salle W, 4e`me e'tage, toits du DMA * * DI ENS 45 rue d'Ulm 75005 Paris * ********************************************************************* *** Vendredi 10 decembre 1999 **** 14h00 **************************** Jean-Pierre TALPIN (INRIA-Rennes - IRISA) A theory of hierarchic transition systems Re'sume' : Joint work with Albert Benveniste We introduce a structure of pre-order transition systems (SPOTS) to establish connections between synchronous and asynchronous concurrency. We provide decision procedure for the properties of: - endochrony i.e. the equivalence between the synchronous (internal) and asynchronous (external) observation of a system. - isochrony i.e. the equivalence between the synchronous and asynchronous compositions of endochronous components. via the construction of a canonical, hierarchical, representation of SPOTS. SPOTS underlies a methodology for correctly deploying synchronous designs of reactive systems on asynchronous architectures: - the property of endochrony determines which components of a system can be compiled separately and executed autonomously. - the property of isochrony determines which components of a system can be distributed over a network without loss of information. We show that SPOTS seamlessly generalize to the expression of mobility and dynamicity, in such a way to allow encodings of asynchronous calculi (e.g. the JOIN calculus) or synchronous calculi (e.g. the lambda calculus over synchronous streams) to be expressed. ********************************************************************* Pour recevoir l'annonce par courrier electronique: cousot@di.ens.fr WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml *********************************************************************