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

A1 Journal article (refereed)

Internal Authors/Editors

Publication Details

List of Authors: Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Publisher: Springer
Publication year: 2014
Journal: Formal Aspects of Computing
Volume number: 26
Issue number: 2
Start page: 281
End page: 303
eISSN: 1433-299X

Last updated on 2020-01-06 at 03:27