Structuring and Verifying Distributed Algorithms

Kaisa Sere, Marina Walden

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)193-218
JournalNordic Journal of Computing
Volume8
Issue number2
Publication statusPublished - 2001
MoE publication typeA1 Journal article-refereed

Cite this