Petri Nets World
Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency.
NesC: Language for Deeply Networked Systems
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.
MC# (MCSharp)
High-level object-oriented language based on .NET platform made for developing complex industrial program systems that can use multiprocessors.
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.
Linda
Simple library implementation of Linda parallel programming system. To write parallel programs with linda, you need know only 6 functions: spawn, out, in, inp, rd, rdp. SourceForge project page: downloads, forum. CVS. [Open Source, GPL]
Joule: The Great Synthesis
Has Joule Quick Reference 1.0, as HTML page; and The Joule Manual, divided into chapters, as Postscript files. Joule is most direct and important ancestor of E language. [ERights.org]
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.
Esterel
It is one of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata
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, unlike many other parallel languages, programmers needn't learn a new language. Thesis with essay, bibliography, code samples.
Corn
This language is designed for modeling concurrency and advanced computation. It provides lazy evaluation between concurrently worked threads, with object-oriented and functional style of semantic. This language can be also used for parallel computation.
[ 1 ] [ 2 ]
|
