Introduction to the history, principles and style of concurrent programming practiced at Bell Labs.

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

Designed to support interaction-oriented programming. This paradigm is especially suitable for the design of reactive component-based systems like distributed and interactive systems.

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

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.

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.

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 coroutine library for C and Unix.

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.