Module Name:	pkgsrc
Committed By:	jmmv
Date:		Sun Feb 29 22:21:19 UTC 2004

Update of /cvsroot/pkgsrc/devel/ltsa
In directory ivanova.netbsd.org:/tmp/cvs-serv4686

Log Message:
Initial import of ltsa (Labelled Transition System Analyser), version 2.2:

A model is a simplified representation of the real world.  Engineers
use models to gain confidence in the adequacy and validity of a proposed
design.

Models are described using state machines, known as Labelled Transition
Systems (LTS).  These are described textually as Finite State Processes
(FSP) and displayed and analysed by the LTSA analysis tool.

This package provides the LTSA utility exposed above.  It is specially
useful to be used together with the 'Concurrency: State Models & Java
Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.


Vendor Tag:	TNF
Release Tags:	pkgsrc-base
		
N pkgsrc/devel/ltsa/Makefile
N pkgsrc/devel/ltsa/distinfo
N pkgsrc/devel/ltsa/PLIST
N pkgsrc/devel/ltsa/DESCR

No conflicts created by this import