"README"	K. J. Turner (kjt@cs.stir.ac.uk)	05/06/96

Copyright 1996 K. J. Turner, University of Stirling

This package contains the BASIL (Basic Architectural Semantics in LOTOS)
macro library written in m4. The following files are included:

  basil.m4	The BASIL macro library

  coserv.*	A connection-oriented service
  
  *.m4		The BASIL input file
  *.lot		The resulting LOTOS file
  *.def		Definitions for use with the hippo simulator
  
The macro package implements the description of BASIL given in:

  Kenneth J. Turner. Template-based specification in LOTOS, April 1993.
  Available by ftp as
  ftp.cs.stir.ac.uk/pub/staff/kjt/research/pubs/lotos-temp.ps.gz

The following may also be useful for background on m4:

  Kenneth J. Turner. Exploiting the m4 macro language. Technical
  Report CSM-126, Department of Computing Science, University of Stirling,
  UK, September 1994. Available by ftp as
  ftp.cs.stir.ac.uk/pub/staff/kjt/research/pubs/expl-m4.ps.gz.

But be warned that macros in this package are very intricate!

The work embedded in this package has essentially been superseded by SAGE
(Service Attribute Generator) by the same author.

The contents of this package may be used freely for non-commercial purposes
provided this README file and copyright notices are retained.  Copyright
remains with the author. No warranties are given as to the accuracy or
suitability of this package.
