| 1. | Petri Nets World | | | Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency.
www.daimi.au.dk |
| 2. | Esterel | | | It is one of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata
www-sop.inria.fr |
| 4. | linda | | | Simple library implementation of Linda parallel programming system. To write parallel programs with linda, you need know only 6 functions: spawn, out, in, inp, rd, rdp. SourceForge project page: downloads, forum. CVS. [Open Source, GPL]
sourceforge.net |
| 5. | FT Languages Page | | | Fault-tolerant projects, goal: enhance language support for distributed programs with FT needs, most high-level languages lack good support for such, more so at system level; 3 projects described, FT-SR, FT-Linda, FTAG.
www.cs.arizona.edu |
| 6. | LoI (Language of Interaction) | | | Designed to support interaction-oriented programming. This paradigm is especially suitable for the design of reactive component-based systems like distributed and interactive systems.
home.arcor.de |
| 7. | The Functional Mental Disorder Programming Language (FMDPL) | | | An unconventional, lazy, object-oriented, functional-like programming language. The common feature of FMDPL is, that it provides lazy computing in many different kinds of concurrency, based on sending messages to objects, which every lives in own-way.
fmdpl.webpark.pl |
| | |