Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability.

Marie Farrell, Rosemary Monahan, James F. Power

Browse the full ICFEM paper archive.