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

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

Research output: Contribution to journalArticleScientificpeer-review

6 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)281–303
JournalFormal Aspects of Computing
Volume26
Issue number2
DOIs
Publication statusPublished - 2014
MoE publication typeA1 Journal article-refereed

Cite this