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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of the 16th Nordic Workshop on Programming Theory
Utgivningsort	Uppsala, Sweden
Förlag	Department of Information Technology Uppsala University
Sidor	110-112
Status	Publicerad - 2004
MoE-publikationstyp	B3 Ej refererad artikel i konferenshandlingar

Publikationsserier

Namn	Technical report - Department of Information Technology, Uppsala University
ISSN (tryckt)	1404-3203

Åtkomst av dokument

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

Citera det här

Boström, P., & Walden, M. (2004). Extension of Event Based B for development of grid systems. I Proceedings of the 16th Nordic Workshop on Programming Theory (s. 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. i 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, s. 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. s. 110-112 (Technical report - Department of Information Technology, Uppsala University).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

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 -