Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

communicating sequential processes · Vinony

EntityQ1120460· pop 16· linked from 132 articles

communicating sequential processes

Sign in to save

formal language for concurrent systems

Connections

University of Oxford

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

Categories

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

Sources

wikipedia.externallinksexternallink

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

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