Concurrent Programming
Principles and resources.
url: stwi.weizmann.ac.il/g-cs/benari/cp.htm
The Concurrent Programming
From book 'Introduction to Programming Languages' by Anthony A. Aaby.
url: burks.bton.ac.uk/burks/pcinfo/progdocs/plbook/conc...
A Distributed Implementation of the C-Linda Programming Language
Language combining C and Linda, gives six functions for concurrent process coordination, can be added to any other sequential language, unlike many other parallel languages, programmers needn't learn a new language. Thesis with essay, bibliography, code samples.
url: www.cs.oberlin.edu/~jbasney/honors/thesis.html
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
url: www-sop.inria.fr/meije/esterel/esterel-eng.html
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.
url: www.cs.arizona.edu/ftol/languages/
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.
url: fmdpl.webpark.pl/
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]
url: sourceforge.net/projects/linda/
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.
url: home.arcor.de/gil.mueller/loiref/LoI0.htm
Petri Nets World
Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency.
url: www.daimi.au.dk/PetriNets/