Publication 1995

article

Jean-Paul Gibson, Dominique Méry, Denis Roegel. Formal Methods for Concurrency, Parallelism and Distribution oct 1995 ERCIM News 95-R-378
A Mokkedem, D Méry. On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems Mar 1995 Theoretical Computer Science 140 95-138 95-R-221

inproceedings

D Roegel. A Framework for Specifying Concurrent C++ Programs Proceedings International Conference on High Performance Computing, New Delhi (India) dec 1995 Sartaj Sahni and Viktor K. Prasanna and Vijay P. Bhatkar 679-686 Tata McGraw-Hill Publishing Company Limited 95-R-382
O Ait-Mohamed, A Mokkedem. On Formal Verification of OCCAM Programs Proceedings International Conference on Parallel and Distributed Processing, Techniques and Applications, Georgia (USA) nov 1995 805-814 IOS Press 95-R-223
N Brown, A Mokkedem. On Mechanizing Proof within a Complete Proof System for Unity Proceedings Fourth International Conference on Algebraic Methodology and Software Technology, Montréal (Canada) jul 1995 V. S. Alager and M. Nivat Lecture Notes in Computer Science Springer Verlag 95-R-222