An Extension of Event B for Developing Grid Systems

Pontus Boström; Marina Walden

doi:10.1007/11415787_9

An Extension of Event B for Developing Grid Systems

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
Editors	H Treharne, S King, M Henson, S Schneider
Publisher	Springer
Pages	142–161
ISBN (Electronic)	978-3-540-32007-4
ISBN (Print)	978-3-540-25559-8
DOIs	https://doi.org/10.1007/11415787_9
Publication status	Published - 2005
MoE publication type	A4 Article in a conference publication
Event	conference; 2005-04-13; 2005-04-15 - 4th International Conference of B and Z Users Duration: 13 Apr 2005 → 15 Apr 2005

Conference

Conference	conference; 2005-04-13; 2005-04-15
Period	13/04/05 → 15/04/05

Access to Document

10.1007/11415787_9

Cite this

@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 = "Odefinierat/ok{\"a}nt",

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 = "conference; 2005-04-13; 2005-04-15 ; Conference date: 13-04-2005 Through 15-04-2005",

}

An Extension of Event B for Developing Grid Systems. / Boström, Pontus; Walden, Marina.
Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B. ed. / H Treharne; S King; M Henson; S Schneider. Springer, 2005. p. 142–161.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - An Extension of Event B for Developing Grid Systems

AU - Boström, Pontus

AU - Walden, Marina

PY - 2005

Y1 - 2005

U2 - 10.1007/11415787_9

DO - 10.1007/11415787_9

M3 - Konferensbidrag

SN - 978-3-540-25559-8

SP - 142

EP - 161

BT - Proceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B

A2 - Treharne, H

A2 - King, S

A2 - Henson, M

A2 - Schneider, S

PB - Springer

T2 - conference; 2005-04-13; 2005-04-15

Y2 - 13 April 2005 through 15 April 2005

ER -