Cilk Project
- Original and largest worldwide multithreaded computing project. Concurrent language for parallel programming based on ANSI C. Source code, manual, papers, research into parallel chess programs.
- http://supertech.csail.mit.edu/cilk/

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.
- http://www.cs.arizona.edu/projects/ftol/languages/

Petri Nets World
- Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency.
- http://www.informatik.uni-hamburg.de/TGI/PetriNets/

ChucK
- Concurrent, time-based, on-the-fly, audio programming language, supports precise, fundamental level of expressiveness, multiple, simultaneous, dynamic control rates, ability to add, remove, modify code as programs run.
- http://chuck.cs.princeton.edu/

Comega: Cω
- C# extension, in two areas: Control flow extension for asynchronous wide area concurrency (was Polyphonic C#); Data type extension for XML and table manipulation (was Xen and X#). [Microsoft Research]
- http://research.microsoft.com/comega/

Joule: The Great Synthesis
- Has Joule Quick Reference 1.0, as HTML page; and The Joule Manual, divided into chapters, as Postscript files. Joule is most direct and important ancestor of E language. [ERights.org]
- http://www.erights.org/history/joule/

MC# (MCSharp)
- High-level object-oriented language based on .NET platform made for developing complex industrial program systems that can use multiprocessors.
- http://u.pereslavl.ru/~vadim/MCSharp/

NesC: Language for Deeply Networked Systems
- C extension based on structuring concepts and execution model of TinyOS, an event-driven OS for sensor network nodes with very limited resources: 8K bytes program memory, 512 bytes RAM.
- http://nescc.sourceforge.net/

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.
- http://home.arcor.de/gil.mueller/loiref/LoI0.htm

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]
- http://sourceforge.net/projects/linda/

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 s
- http://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
- http://www-sop.inria.fr/meije/esterel/esterel-eng.html