Publications de
Jean-Paul Bahsoun, Christine Servières
Multilevel proof system for concurrent object-oriented programs
Dans : WS4- ECOOP’96, Linz-Austria, .
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
Une logique temporelle pour les objets concurrents, et sa procédure de décision (C.E.R.T. and I.R.I.T. and L.A.A.S.)
Dans : Journées FAC’95 (Formalisation des Activités Concurrentes), Toulouse, .
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
Modular description and verification of concurrent objects
Dans : First FJ Workshop in Distributed and Concurrent Objects, Tokyo, Japan, Springer-Verlag, LNCS 1107, p. 168-187, juin 1995.
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
A Framework for Programming and Proving Concurrent Objects
Dans : WS4- EOOP94, Bologne, .
Jean-Paul Bahsoun, Christine Servières, Stephan Merz
A Framework for Programming and ProvingConcurrent Objects
Dans : Parallélisme, répartition et réseaux. JP Bahsoun, S Merz, C Servières (Eds.) , Hermès, 1995.
Modélisation et Vérification Orientées Objet pour les Systèmes Réactifs
Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 1995.