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.

Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency.

Concurrent language for parallel programming based on ANSI C. Source code, manual, papers and research into parallel chess programs.

One of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata.

CSP is a language for describing patterns of interaction. A book by Tony Hoare introducing the language and the mathematical theory behind it is available in PDF format.

A language for Deeply Networked Systems, implemented as a 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.

MC# (Multiprocessor C#) is a high-level object-oriented language based on .NET platform made for developing complex industrial program systems that can use multiprocessors.

C# extension with async- and movable methods, channels and handlers for concurrent programming on the all types of parallel architectures: multi-core processors, clusters and Grid. Manual, papers, examples, distribution downloads for Windows and Linux.

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.

Simple library implementation of the Linda parallel programming system. SourceForge project page: downloads, forum and CVS.