gitgnu / gnu_dynamite Goto Github PK

DynamiTE README - Last updated: Feb 18, 2009

Copyright (C) 2007, 2009 The University of Sheffield

This file is part of DynamiTE.

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU Affero General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.

Linking this library statically or dynamically with other modules is
making a combined work based on this library.  Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.

DynamiTE is a programming framework written in the Java programming
language.  It allows the individual constructs of a process calculus
to be used as programmatic elements in designing programs.  For
example, two processes can be run in parallel simply by composing them
using the class representing the Parallel (|) operator.  This allows
the specification of system interactions to be shifted directly from
the theoretical domain into an implementation backed by a formal
methodology, helping in turn to improve industrial adoption of
concurrent techniques.  

This is a development snapshot release only and is not for general
purpose use.

See the file INSTALL for details on installing DynamiTE.
See the file NEWS for details on what is included in this release.
See the file TODO for the latest to do list.
See the file HACKING for working on (non-released) development versions.

Homepage: http://www.dcs.shef.ac.uk/~andrew/

Happy Hacking!