Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.

J. Christian Attiogb

Browse the full ICFEM paper archive.