This directory contains sample specifications.

abp	contains a specification of the alternating bit protocol

backtracking
	illustrates an implementation of backtracking in PSF.

book	examples taken from S. Mauw & G.J. Veltink, _Algebraic Specification
	of Communication Protocols_, Cambridge Tracts in Theoretical Computer
	Science 36, Cambridge University Press, 1993.

new_in_version_psf_1.2
	short examples illustrating the language features that were added in
	PSF version 1.2

paintball
	contains an example of a leader election protocol
