Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Walden

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

6 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Sidor (från-till)	281–303
Tidskrift	Formal Aspects of Computing
Volym	26
Nummer	2
DOI	https://doi.org/10.1007/s00165-012-0260-5
Status	Publicerad - 2014
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

@article{a29c1cee72df4a17a0a1cc06d57119e5,

title = "Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models",

author = "Pontus Bostr{\"o}m and Fredrik Degerlund and Kaisa Sere and Marina Walden",

year = "2014",

doi = "10.1007/s00165-012-0260-5",

language = "Odefinierat/ok{\"a}nt",

volume = "26",

pages = "281–303",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models

AU - Boström, Pontus

AU - Degerlund, Fredrik

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2014

Y1 - 2014

U2 - 10.1007/s00165-012-0260-5

DO - 10.1007/s00165-012-0260-5

M3 - Artikel

SN - 0934-5043

VL - 26

SP - 281

EP - 303

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 2

ER -