previous up next
Go backward to A Process Calculus
Go up to Top
Go forward to Behavior Descriptions
RISC-Linz logo

A Simple Example


Author: Wolfgang Schreiner
Last Modification: June 8, 1998

previous up next