Process Algebras

Concurrency can have a very elegant algebraic representation with process algebras that describe a system by a number of communicating concurrent processes. Examples include CSP, CCS, and LOTOS.

In CSP, for example, a system is described as a collection of communicating processes running concurrently and synchronizing on events. CSP was the foundation of the Transputer machines, modeled against that specific language! In CSP, the parallel composition operator is denoted by / /and as many sequential processes as needed can be run in parallel, with a possible hierarchical organization. Processes communicate using emit and receive statements, which help synchronize them.

Was this article helpful?

0 0
The Ultimate Computer Repair Guide

The Ultimate Computer Repair Guide

Read how to maintain and repair any desktop and laptop computer. This Ebook has articles with photos and videos that show detailed step by step pc repair and maintenance procedures. There are many links to online videos that explain how you can build, maintain, speed up, clean, and repair your computer yourself. Put the money that you were going to pay the PC Tech in your own pocket.

Get My Free Ebook


Post a comment