         This file aralicen.txt contains the copyright and license
         information of the software package ARA Tools/Demo.


                        ARA Tools/Demo
                      2.01 (September 1994)
                 A set of tools for analysing
                      the behaviour of
                     concurrent systems


Copyright

Copyright (c) 1990-94 by VTT Electronics,
P.O.Box 1100, FIN-90571, Oulu, Finland.
All Rights Reserved.


                           LICENSE

The license agreement of ARA Tools/Demo is following:
1. VTT Electronics owns all the rights of ARA Tools/Demo.
2. ARA Tools/Demo is allowed to be used only for research and
   trial use on a non-commercial basis.
3. ARA Tools/Demo must be distributed in original form; i.e.,
   the file containing this license information MUST be included, along
   with the full the ARA Tools/Demo documentation and example files.
4. ARA Tools/Demo files must not be modified in any way.



                         DISCLAIMER

Use of the ARA Tools/Demo files acknowledges this disclaimer of warranty:
"The ARA Tools/Demo is supplied as is.  VTT Electronics disclaims
all warranties, express or implied, including, without limitation, the
warranties and of fitness of this program for any purpose. VTT Electronics
assumes no liability for damages direct or consequential, which may result
from the use of the ARA Tools/Demo"


                  BUSINESS AND SIMILAR USAGE

All corporate, business, government or other commercial users of
the ARA Tools/Demo must contact VTT Electronics for a license agreement.
------------------------------------------------------------------------------
the same information in finnish:


                   TEKIJˇNOIKEUSTIEDOT

Copyright (c) 1990-1994 VTT Elektroniikka, PL 1100, 90571 Oulu.
Kaikki oikeudet pid„tet„„n.



                    LISENSSIEHDOT

ARA Tools/Demo -ohjelmiston lisenssiehdot ovat seuraavat:
1. VTT Elektroniikka omistaa ARA Tools/Demo -ohjelmiston kaikki oikeudet
2. ARA Tools/Demo:a saa k„ytt„„ vain tutkimus- ja kokeiluk„yt””n,
   ei ansiok„yt””n.
3. ARA Tools/Demo:a saa levitt„„ ainoastaan sen alkuper„isess„
   muodossa; toisin sanoen lisenssitiedot sis„lt„v„ tiedosto pit„„
   olla mukana samoin kuin koko dokumentaatio ja esimerkkitiedostot.
4. ARA Tools/Demo:oon kuuluvia tiedostoja ei saa muuttaa mill„„n
   tavalla.


    IRTISANOUTUMINEN KAIKESTA VASTUISTA JA TAKUISTA OHJELMISTON TOIMIVUUDESTA

ARA TOOLS/Demo:n tiedostojen k„ytt” tapahtuu ottaen huomioon seuraavat seikat:
"ARA Tools/Demo tarjotaan k„ytett„v„ksi sellaisena kuin se on. VTT Elektroniikka
irtisanoutuu kaikesta vastuusta ARA Tools/Demo:n toimivuudesta ja sopivuudesta
mihink„„n k„ytt”tarkoitukseen. VTT Elektroniikka ei ole mill„„n tavalla
vastuussa ARA Tools/Demo:n suoraan tai ep„suorasti aiheuttamista vahingoista."


                         ANSIOKˇYTT™

Liiketoimintaa harjoittavien ARA Tools/Demo:n k„ytt„jien pit„„ ottaa yhteytt„
VTT Elektroniikkaan lisenssisopimuksen tekemist„ varten.
