3 Nodes in a Ring

RISC-Linz logo


Design and implement a distributed program that runs on a ring of three nodes bidrectionally linked to each other. One node emits two messages into both directions; every node iteratively listen for messages from both directions and forwards every received message into the other direction. Check the assertion that after the initialization phase there are exactly two messages in the network and formally prove its correctness.


You should see a button labelled "Press Me" embedded below. If you do not see this button but the string "Please enable Java!" instead, you must enable Java on your Web browser and then reload the page.

Please enable Java!

Source Code

Correctness Proof

Maintained by: Wolfgang Schreiner
Last Modification: November 14, 1997

[Up] [RISC-Linz] [University] [Search]