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

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

Research output: Contribution to journal › Article › Scientific › peer-review

6 Citations (Scopus)

Access to Document

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