@inproceedings{3182727ebd544f6d8a54bc21e7e11688,
title = "An Extension of Event B for Developing Grid Systems",
author = "Pontus Bostr{\"o}m and Marina Walden",
year = "2005",
doi = "10.1007/11415787_9",
language = "English",
isbn = "978-3-540-25559-8",
pages = "142–161",
editor = "H Treharne and S King and M Henson and S Schneider",
booktitle = "Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B",
publisher = "Springer",
note = "4th International Conference of B and Z Users ; Conference date: 13-04-2005 Through 15-04-2005",
}