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 2019-17-10 at 02:55