An Extension of Event B for Developing Grid Systems

Pontus Boström, Marina Walden

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    4 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
    EditorsH Treharne, S King, M Henson, S Schneider
    PublisherSpringer
    Pages142–161
    ISBN (Electronic)978-3-540-32007-4
    ISBN (Print)978-3-540-25559-8
    DOIs
    Publication statusPublished - 2005
    MoE publication typeA4 Article in a conference publication
    Event4th International Conference of B and Z Users -
    Duration: 13 Apr 200515 Apr 2005

    Conference

    Conference4th International Conference of B and Z Users
    Period13/04/0515/04/05

    Cite this