SLAP version 0.1 README file
----------------------------

SLAP is a Static Livelock Analyzer for CSP Processes.
It is implemented in ANSI-C by Joel Ouaknine based on
ongoing joint work with James Worrell. 

Please read the LICENSE AGREEMENT (below) before using SLAP.

The current SLAP distribution contains the following files:

README         -- this file
slap.c         -- the source code for SLAP
userman.txt    -- a user's manual for SLAP
Makefile
test1.csp,     \
test2.csp,      - some sample
test3.csp,      - input files
test4.csp      / 

This is a beta release.
Please send any bug reports/comments/suggestions to 
REMOVE_THIS_joel@comlab.ox.ac.uk .
Thanks, and enjoy!

LICENSE AGREEMENT:
------------------
 Copyright 2003, Joel Ouaknine (hereinafter AUTHOR). All rights
 reserved.  By using this software the USER indicates that he or she
 has read, understood and will comply with the following:

 --- AUTHOR hereby grants USER nonexclusive permission to use, copy
 and/or modify this software for internal, noncommercial, research
 purposes only. Any distribution, including commercial sale or
 license, of this software, copies of the software, its associated
 documentation and/or modifications of either is strictly prohibited
 without the prior consent of AUTHOR. Title to copyright to this
 software and its associated documentation shall at all times remain
 with AUTHOR. Appropriate copyright notice shall be placed on all
 software copies, and a complete copy of this notice shall be
 included in all copies of the associated documentation.

 --- This software and any associated documentation is provided "as is"

 AUTHOR MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED,
 INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR
 PURPOSE, OR THAT USE OF THE SOFTWARE, MODIFICATIONS, OR ASSOCIATED
 DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS, TRADEMARKS
 OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.

 AUTHOR shall not be liable under any circumstances for any direct,
 indirect, special, incidental, or consequential damages with respect
 to any claim by USER or any third party on account of or arising from
 the use, or inability to use, this software or its associated
 documentation, even if AUTHOR has been advised of the possibility of
 those damages.
----------------------------------------------------------------------
