         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:


                   TEKIJNOIKEUSTIEDOT

Copyright (c) 1990-1994 VTT Elektroniikka, PL 1100, 90571 Oulu.
Kaikki oikeudet pidtetn.



                    LISENSSIEHDOT

ARA Tools/Demo -ohjelmiston lisenssiehdot ovat seuraavat:
1. VTT Elektroniikka omistaa ARA Tools/Demo -ohjelmiston kaikki oikeudet
2. ARA Tools/Demo:a saa kytt vain tutkimus- ja kokeilukytn,
   ei ansiokytn.
3. ARA Tools/Demo:a saa levitt ainoastaan sen alkuperisess
   muodossa; toisin sanoen lisenssitiedot sisltv tiedosto pit
   olla mukana samoin kuin koko dokumentaatio ja esimerkkitiedostot.
4. ARA Tools/Demo:oon kuuluvia tiedostoja ei saa muuttaa milln
   tavalla.


    IRTISANOUTUMINEN KAIKESTA VASTUISTA JA TAKUISTA OHJELMISTON TOIMIVUUDESTA

ARA TOOLS/Demo:n tiedostojen kytt tapahtuu ottaen huomioon seuraavat seikat:
"ARA Tools/Demo tarjotaan kytettvksi sellaisena kuin se on. VTT Elektroniikka
irtisanoutuu kaikesta vastuusta ARA Tools/Demo:n toimivuudesta ja sopivuudesta
mihinkn kytttarkoitukseen. VTT Elektroniikka ei ole milln tavalla
vastuussa ARA Tools/Demo:n suoraan tai epsuorasti aiheuttamista vahingoista."


                         ANSIOKYTT

Liiketoimintaa harjoittavien ARA Tools/Demo:n kyttjien pit ottaa yhteytt
VTT Elektroniikkaan lisenssisopimuksen tekemist varten.
