PSF - Process Specification Formalism

Specifications

The Alternating Bit Protocol

The Concurrent Alternating Bit Protocol

A small Factory

A small Factory with input- and output-queue
(imports A small Factory)

simanim
simanim is a tool from the PSF-Toolkit that couples simulation and animation of a specification.