Extension of Event Based B for development of grid systems

Pontus Boström; Marina Walden

Extension of Event Based B for development of grid systems

Pontus Boström
, Marina Walden

Information Technology

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific

Original language	English
Title of host publication	Proceedings of the 16th Nordic Workshop on Programming Theory
Place of Publication	Uppsala, Sweden
Publisher	Department of Information Technology Uppsala University
Pages	110-112
Publication status	Published - 2004
MoE publication type	B3 Non-refereed article in conference proceedings

Publication series

Name	Technical report - Department of Information Technology, Uppsala University
ISSN (Print)	1404-3203

Access to Document

https://uu.diva-portal.org/smash/get/diva2:1861809/FULLTEXT01.pdfLicence: Publisher rights policy

Cite this

Boström, P., & Walden, M. (2004). Extension of Event Based B for development of grid systems. In Proceedings of the 16th Nordic Workshop on Programming Theory (pp. 110-112). (Technical report - Department of Information Technology, Uppsala University). Department of Information Technology Uppsala University. https://uu.diva-portal.org/smash/get/diva2:1861809/FULLTEXT01.pdf

@inproceedings{3c07ea0c8b694a88b5d5cafdf5e7a639,

title = "Extension of Event Based B for development of grid systems",

author = "Pontus Bostr{\"o}m and Marina Walden",

year = "2004",

language = "English",

series = "Technical report - Department of Information Technology, Uppsala University",

publisher = "Department of Information Technology Uppsala University",

pages = "110--112",

booktitle = "Proceedings of the 16th Nordic Workshop on Programming Theory",

}

Boström, P & Walden, M 2004, Extension of Event Based B for development of grid systems. in Proceedings of the 16th Nordic Workshop on Programming Theory. Technical report - Department of Information Technology, Uppsala University, Department of Information Technology Uppsala University, Uppsala, Sweden, pp. 110-112. <https://uu.diva-portal.org/smash/get/diva2:1861809/FULLTEXT01.pdf>

Extension of Event Based B for development of grid systems. / Boström, Pontus; Walden, Marina.
Proceedings of the 16th Nordic Workshop on Programming Theory. Uppsala, Sweden: Department of Information Technology Uppsala University, 2004. p. 110-112 (Technical report - Department of Information Technology, Uppsala University).

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific

TY - GEN

T1 - Extension of Event Based B for development of grid systems

AU - Boström, Pontus

AU - Walden, Marina

PY - 2004

Y1 - 2004

M3 - Published conference proceeding

T3 - Technical report - Department of Information Technology, Uppsala University

SP - 110

EP - 112

BT - Proceedings of the 16th Nordic Workshop on Programming Theory

PB - Department of Information Technology Uppsala University

CY - Uppsala, Sweden

ER -