Publication 1996

article

J Jaray, A Mahjoub. Une méthode itérative de construction d'un modèle de système réactif 1996 Technique et Science informatiques 15 65-90 96-R-326

book

Dominique Méry. Proceedings of the First International Workshop on Formal Methods for Parallel Programming \,: Theory and Applications apr 1996 Méry, Dominique CRIN-Nancy 96-R-070

inproceedings

Dominique Méry. Machines Abstraites Temporelles Analyse Comparative de B et TLA+ (version préliminaire) First B Conference, Nantes, France nov 1996 30 96-R-203
Denis Roegel. Separating Algorithm and Implementation in Refinement of Parallel Program Specifications Electronic Proceedings of the BCS-FACS 7th Refinement Workshop ---Theory and Practice of System Design, Bath, England Jul 1996 He Jifeng and John Cooke and Peter Wallis Springer Verlag 96-R-334
Jean-Paul Gibson, Dominique Méry. A Unifying Model for Specification and Design Proceedings Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz (Austria) jul 1996 96-R-110
J -F Petin, Dominique Méry, H Panetto, B Iung. Validation of Software Components for Intelligent Actuation and Measurement International Symposium on Robotics And Manufacturing - ISRAM'96, Montpellier, France jul 1996 8 96-R-202
Dominique Méry. De la tranformation de prédicats à la transformation de programmes Actes Journées sur la Formalisation des Activités Concurrentes, Toulouse, France feb 1996 96-R-087
Denis Roegel. Specifying Almost-Real Concurrent Object-Oriented Programs Proceedings Fourth Euromicro Workshop on Parallel and Distributed Processing, Braga, Portugal jan 1996 Mary E. Kavanaugh 95-101 IEEE Computer Society Press 96-R-025

manual

J -M Antoine, J -M Hufflen, D Roegel, K Tombre. Guide local (L\kern-.36em\raise.3ex\hbox\sc a\kern-.15em)\TeX du site LORIA Millésime 1996 1996 96-R-176
Bruno Mermet. B Mode Manual 1996 96-R-063

phdthesis

Denis Roegel. Etude de la sémantique de programmes parallèles "réels" en TLA Thèse d'université 1996 96-T-214

techreport

Dominique Méry. Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions Rapport interne 1996 96-R-086
Dominique Méry. Software Process Based on Refinement 1996 96-R-201