********************************************************************* * Ecole Normale Supe'rieure * * * * Se'minaire * * SEMANTIQUE ET INTERPRETATION ABSTRAITE * * P. Cousot * * * * Vendredi, 14h00--15h30 * * Salle W, 4e`me e'tage, toits du DMI * * DMI ENS 45 rue d'Ulm 75005 Paris * ********************************************************************* *** Vendredi 5 septembre 1997 **** 14h00 ****************************** Rela^che (These David LESENS, Grenoble) http://www.imag.fr/VERIMAG/PEOPLE/David.Lesens/index-english.html *** Vendredi 12 septembre 1997 **** 14h00 ***************************** Rela^che (SAS'97 a l'ENS du 8 au 10 septembre) *** Vendredi 19 septembre 1997 **** 14h00 ***************************** Corrado PRIAMI (Universite' de Pise & ENS) Qualitative and Quantitative Analysis of Mobile Systems Re'sume' : In this study we propose a uniform framework to carry out functional and performance analysis of mobile systems. In particular, we rely on a recent process calculus suitable to express mobility: $\pi$-calculus. Since its semantics is given in SOS style, the behaviour of processes is conveniently represented through transition systems: directed and labelled graphs whose nodes are states of the system and whose arcs represent computational steps. Standard techniques to determine functional properties of processes like equivalence of different specifications, deadlocks detection and reachability analysis are available and extensively described in the literature. On the other hand, less space has been devoted to the study of quantitative aspects of systems in this framework. We here show how a transition system can be directly mapped into a continuous time Markov chain on which quantitative aspects are studied with standard techniques. The probabilistic information needed to build the generator matrix of the Markov chain are derived from the syntax of the calculus yielding a stochastic extension of pi-calculus. *** Vendredi 26 septembre 1997 **** 14h00 ***************************** Rel^ache (IFIP WG 2.3) ********************************************************************* Pour recevoir l'annonce par courrier electronique: cousot@dmi.ens.fr WWW: http://www.ens.fr/~cousot/annonceseminaire.html *********************************************************************