You are here: TUCS > PUBLICATIONS > Publication Search > Structuring and Verifying Dist...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Structuring and Verifying Distributed Algorithms
Kaisa Sere, Marina Waldén, Structuring and Verifying Distributed Algorithms. Nordic Journal of Computing 8(2), 193–218, 2001.
Abstract:
http://www.tucs.fi/Publications/journals/jSeWab.php
BibTeX entry:
@ARTICLE{jSeWab,
title = {Structuring and Verifying Distributed Algorithms},
author = {Sere, Kaisa and Waldén, Marina},
journal = {Nordic Journal of Computing},
volume = {8},
number = {2},
pages = {193–218},
year = {2001},
keywords = {Verifying programs; Understanding programs;Distributed systems; Superposition Refinement; Action systems},
}
Publication Forum rating of this publication: level 1