Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

communicating sequential processes · Vinony

🌐English

English Deutsch Español Français Nederlands Polski Português Русский العربية 한국어 中文日本語

EntityQ1120460· pop 16· linked from 132 articles

communicating sequential processes

Also known as CSP

formal language for concurrent systems

Available in 16 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
العربية
Catalan

Connections

University of Oxford

Categories

1978 in computing Computer-related introductions in 1978 Concurrent computing Process calculi Tony Hoare

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

deadlock

Entity

process calculus

Calculus of communicating systems

Language Of Temporal Ordering Specification

computer science

International Standard Book Number

International Space Station

computer programming

Wayback Machine

Lomonosov Moscow State University

digital object identifier

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.39

Entitydist 0.40

Concurrent engineering

Entitydist 0.50

Entitydist 0.50

mutual exclusion

Entitydist 0.54

business process management

Entitydist 0.56

Entitydist 0.57

Entitydist 0.58

service management

Entitydist 0.58

Entitydist 0.60

Entitydist 0.60

Advanced process control

Entitydist 0.62

What links here132 pages

process calculus

concurrent computing

producer-consumer problem

inter-process communication

formal specification

linearizability

cleanroom software engineering

synchronization

programming language theory

Edsger W. Dijkstra

Language Of Temporal Ordering Specification

list of programmers

list of computer scientists