Computers

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

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

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.

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.

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#).

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.

A coroutine library for C and Unix.

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.

Documentation, source, and other resources for Google's Go language.

Documentation, syntax highlighting files for various editors and IDEs, links to Go libraries and bindings to C libraries, etc.

Resources about threaded programming in the Bell Labs CSP style, by Russ Cox: history, principles and style of concurrent programming practiced at Bell Labs.

Papers describing Plan 9's Alef programming language by Phil Winterbottom.