  |
http://chuck.cs.princeton.edu/ - http://chuck.cs.princeton.edu/
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 World - http://www.informatik.uni-hamburg.de/TGI/PetriNets/
Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency. |
| |
Cilk Project - http://supertech.csail.mit.edu/cilk/
Concurrent language for parallel programming based on ANSI C. Source code, manual, papers and research into parallel chess programs. |
| |
http://www-sop.inria.fr/meije/esterel/esterel-eng.html - http://www-sop.inria.fr/meije/esterel/esterel-eng.html
One of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata. |
| |
Communicating Sequential Processes - http://www.usingcsp.com/
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. |
| |
http://nescc.sourceforge.net/ - http://nescc.sourceforge.net/
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. |
| |
http://u.pereslavl.ru/~vadim/MCSharp/ - http://u.pereslavl.ru/~vadim/MCSharp/
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. |
| |
http://www.mcsharp.net - http://www.mcsharp.net
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. |
| |
FT Languages Page - http://www.cs.arizona.edu/projects/ftol/languages/
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://sourceforge.net/projects/linda/ - http://sourceforge.net/projects/linda/
Simple library implementation of the Linda parallel programming system. SourceForge project page: downloads, forum and CVS. |
| |
http://swtch.com/libtask/ - http://swtch.com/libtask/
A coroutine library for C and Unix. |
| |
http://www.erights.org/history/joule/ - http://www.erights.org/history/joule/
The Joule system is a foundation for building distributed applications. Joule Quick Reference 1.0 and The Joule Manual, divided into chapters as PDF files. |
| |
A Distributed Implementation of the C-Linda Programming Language - http://www.cs.oberlin.edu/~jbasney/honors/thesis.html
Language combining C and Linda, gives six functions for concurrent process coordination, can be added to any other sequential language. Thesis with essay, bibliography, code samples. |
| |
http://cornlanguage.com/ - http://cornlanguage.com/
The homepage of a language designed for modeling concurrency and advanced computation; contains a tutorial, the language specification and the source and binaries for the latest version. |
| |
LoI (Language of Interaction) - http://home.arcor.de/gil.mueller/loiref/LoI0.htm
Designed to support interaction-oriented programming. This paradigm is especially suitable for the design of reactive component-based systems like distributed and interactive systems. |