Computers

A coroutine library for C and Unix.

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

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

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.

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

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

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

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.

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.

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

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.

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.

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