Peer-reviewed publications

A1 Journal article (refereed)
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
Concurrent Scheduling of Event-B Models (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site

Last updated on 2018-19-09 at 19:42