List of publications about PSF:

Title:		PSF, a Process Specification Formalism
Site:		University of Amsterdam
Period:		1985-1991
Publication:	The publication measures ix+198 pages.
		PhD. thesis.
Author:		Sjouke Mauw
		Programming Research Group
		Department of Mathematics and Computer Science
		University of Amsterdam
		Kruislaan 403
		1098 SJ Amsterdam
		The Netherlands
		(email: sjouke@fwi.uva.nl)
Contents:
This thesis, consisting of a number of papers, can be divided into three parts.
The first deals with the definition of PSF.  Chapter 2 describes its syntax and
sementics, demonstrates the use with a number of simple examples, and compares
PSF with related languages.  Chapter 3 considers possible extensions of PSF.
The second part (chapter 4) describes TIL, its design, syntax and semantics.
The third part comprises two case studies.  The first (chapter 5) specifies
two CIM architectures and two protocols for co-operating machines in a
factory environment and proves the correctness of those protocols.  The second
(chapter 6) specifies a transit node, a hypothetical device which can be used
to route data from one location to another.  All complete specifications in
this thesis have been checked with the PSF and SDF type checkers.


Title:		Algebraic Specification of Communication Protocols
Site:		University of Amsterdam
Period:		1988-1992
Publication:	The publication measures xi+197 pages.
Series:		Cambridge Tracts in Theoretical Computer Science 36
Publisher:	Cambridge University Press
ISBN:		0-521-41883-6
Authors:	Sjouke Mauw
		Section Theoretical Computer Science
		Department of Mathematics and Computer Science
		Eindhoven University of Technology
		Den Dolech 2
		P.O. Box 513
		5600 MB Eindhoven
		(email: sjouke@info.win.tue.nl)

		Gert Veltink
		Isytec GmbH
		Wiener Str. 1
		D-28359 Bremen
		(email: isytec.uucp)
Contents:
Modern computer networks now circle the world, but the transmission of
information between them depends on the many different protocols that define
the behaviour of the sender and receiver.  It is clear therefore, that the
accurate description of these protocols is important if harmonious communication
is to be maintained.  In this book the authors use the formal specification
language PSF to provide an unambiguous description of several communication
protocols of varying levels of complexity, ranging from the alternating bit
protocol to the token ring protocol.  Beginners, as well as professionals in
the field of communication protocols, will benefit from both the methods of
specification described, and the protocols discussed in this book.
