Skip to content
EntityQ1120460· pop 16· linked from 132 articles

CSP (matemática)

Sign in to save

Also known as CSP

formal language for concurrent systems

Wikidata facts

Instance of
formal language
Show 1 more fact
discoverer or inventor
Tony Hoare
Sources (3)

via Wikidata · CC0

Article · Português

A notação CSP foi proposta por C.A.R. Hoare. É uma notação para descrever sistemas concorrentes cujos componentes são denominados processos, os quais interagem entre si e com o ambiente através de comunicação. Um evento é a interface pela qual um processo se comunica com o ambiente. Pode ser iniciado por um processo ou pelo ambiente externo, como outros processos ou objetos. Um processo, por sua vez, é definido em termos de eventos.

Abstract from DBpedia / Wikipedia · CC BY-SA

CSP (matemática) · Vinony