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

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 16th Nordic Workshop on Programming Theory
Julkaisupaikka	Uppsala, Sweden
Kustantaja	Department of Information Technology Uppsala University
Sivut	110-112
Tila	Julkaistu - 2004
OKM-julkaisutyyppi	B3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

Julkaisusarja

Nimi	Technical report - Department of Information Technology, Uppsala University
ISSN (painettu)	1404-3203

Pääsy asiakirjaan

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

Viittausmuodot

Boström, P., & Walden, M. (2004). Extension of Event Based B for development of grid systems. teoksessa Proceedings of the 16th Nordic Workshop on Programming Theory (Sivut 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. julkaisussa 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, Sivut 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).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

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 -