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

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

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

6 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Sivut	281–303
Julkaisu	Formal Aspects of Computing
Vuosikerta	26
Numero	2
DOI - pysyväislinkit	https://doi.org/10.1007/s00165-012-0260-5
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

@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 -