previous up next
Go up to Top
Go forward to A Simple Example
RISC-Linz logo

A Process Calculus

Modeling of communication and concurrency.


Author: Wolfgang Schreiner
Last Modification: June 8, 1998

previous up next