previous up next
Go backward to 1 Introduction
Go up to Top
Go forward to 3 Installing the Toolkit
RISC-Linz logo

2 Using the Toolkit

This section explains the usage of the toolkit by a trivial example: we are going to implement the simulation of 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.

  • 2.1 Executing the Program
  • 2.2 Writing the Program
  • 2.3 Asserting Conditions
  • 2.4 Compiling the Program
  • 2.5 Writing Applets

  • Maintainer: Wolfgang Schreiner
    Last Modification: October 1, 1998

    previous up next