Publications 1995

Books

1. Colloque Francophone sur l'Ingenierie des Protocoles. Claude Jard, Pierre Rolin (eds.), Hermes, Rennes, May 1995.

Academic Journals

1. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/NonStochastic Systems. Theoretical Computer Science, 152:171-217, 1995.
2. E. Fromentin, C. Jard, GV Jourdan, M. Raynal. On-the-fly Analysis of Distributed Computations. Information Processing Letters, 54:267-274, 1995.
3. C. Jard, GV Jourdan, JX Rampon. On-line Computations of the Ideal Lattice of Posets. RAIRO ITA, Theoretical Informatics and Applications, 29(3):227-244, 1995.

International Conferences

1. C. Bareau, B. Caillaud, C. Jard, R. Thoraval. Measuring Concurrency of Regular Distributed Computations. In TAPSOFT Conference, LNCS, Pages 711-725, Aarhus Danemark, May 1995.
2. E. Fromentin, C. Jard, GV Jourdan, M. Raynal. Recognition of Patterns on Control Flows for Debugging Distributed Executions. In 2nd International Workshop on Automated and Algorithmic Debugging, Pages 22-24, St Malo, May 1995.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic