CONCURRENCY - STATE MODELS & JAVA PROGRAMS


DISCLAIMER
----------
No warranty is made about any software or documentation. 
Neither the Authors nor Publishers can accept any 
responsibility or liability whatsoever for any damages 
suffered as a result of using, modifying or distributing 
this software or its derivatives.


COPYRIGHT
---------
The Labeled Transition System Analyser (LTSA) tool and 
its associated documentation, the Java(tm) examples 
and the lecture slides contained in this CD-ROM are -

(c) 1999, Jeff Magee and Jeff Kramer.

They are freely available for research and educational use. 
Permission is granted to copy or redistribute for these purposes 
only and with the proviso that this copyright notice is included 
and that the authors and original publication are duly credited.

Please contact the authors if you want to incorporate 
any of this material into third-party products, 
whether commercial or freeware.

Author Contact Details:

Jeff Magee  &  Jeff Kramer
Department of  Computing
Imperial College of Science, Technology and Medicine
180 Queen`s Gate
London SW7 2AZ
England
Email: jnm@doc.ic.ac.uk,  jk@doc.ic.ac.uk

Publisher Contact Details:

John Wiley & Sons Ltd.
Baffins Lane, Chichester,
West Sussex PO19 1UD, 
England.
Tel: +44 1243 779777