Web Directory

» 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. Thesis with essay, bibliography, code samples.
   http://www.cs.oberlin.edu/~jbasney/honors/thesis.html

» Bell Labs and CSP Threads
   Resources about threaded programming in the Bell Labs CSP style, by Russ Cox: history, principles and style of concurrent programming practiced at Bell Labs.
   http://swtch.com/~rsc/thread/

» 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/

» Cilk Project
   Concurrent language for parallel programming based on ANSI C. Source code, manual, papers and research into parallel chess programs.
   http://supertech.csail.mit.edu/cilk/

» 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#).
   http://research.microsoft.com/comega/

» Communicating Sequential Processes
   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://www.usingcsp.com/

» Corn
   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.
   http://cornlanguage.com/

» Esterel
   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

» 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/

» Go Programming Language Resources
   Documentation, syntax highlighting files for various editors and IDEs, links to Go libraries and bindings to C libraries, etc.
   http://go-lang.cat-v.org

» 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.
   http://www.erights.org/history/joule/

» Libtask
   A coroutine library for C and Unix.
   http://swtch.com/libtask/

» Linda
   Simple library implementation of the Linda parallel programming system. SourceForge project page: downloads, forum and CVS.
   http://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.
   http://home.arcor.de/gil.mueller/loiref/LoI0.htm

» MC#
   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://u.pereslavl.ru/~vadim/MCSharp/

» MC# 2.0
   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.
   http://www.mcsharp.net

» NesC
   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://nescc.sourceforge.net/

» 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/

» The Alef Concurrent Programming Language
   Papers describing Plan 9's Alef programming language by Phil Winterbottom.
   http://doc.cat-v.org/plan_9/2nd_edition/papers/alef/

» The Go Programming Language
   Documentation, source, and other resources for Google's Go language.
   http://golang.org