This directory contains the library of data modules used in the
following book:

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 & Gert Veltink
Address of S. Mauw:
                Section Formal Methods
                Department of Mathematics and Computer Science
                Eindhoven University of Technology
                Den Dolech 2
                P.O. Box 513
                5600 MB Eindhoven
                (email: sjouke@win.tue.nl)


Short description of the data types:
BOOLEAN	contains elements true and false
NATURAL	contains elements zero, s(zero), s(s(zero)), ...
BIT	contains elements bit0 and bit1
BINARY	contains elements ^bit0, ^bit1, ^bit1^bit0, ^bit1^bit1, ...
DIGIT	contains elements 0, 1, ..., 9
DECIMAL	contains elements ^0, ^1, ^2, ^3, ..., ^9, ^1^0, ^1^1, ...,
      Note: When using a DECIMAL consisting of more than one DIGIT as the
	    right hand-side of an infix operator, enclose this DECIMAL in
	    parenthesis, e.g.  123 + 123 should be written as ^1^2^3 + (^1^2^3)
DATA 	data type used by all the protocols
		the module Data declares DATA in a parameter section;
		the module Sample-Data can be bound to it.
QUEUE	FIFO queues
TABLE	simple lookup table

Author: Sjouke Mauw (sjouke@win.tue.nl)
