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.

프로세스 계산 · Vinony

Home
Process calculi
프로세스 계산

🌐한국어

English Deutsch Français Polski Português Русский فارسی 한국어 中文日本語

EntityQ1970286· pop 11· linked from 116 articles

프로세스 계산

Also known as process algebras

diverse family of related approaches for formally modelling concurrent systems

Available in 11 languages

Français
Deutsch
中文
日本語
Русский
Português
Lithuanian
Polski
فارسی
한국어

via Wikidata sitelinks · CC0

Connections

Church–Turing thesis

Categories

Process calculi

Sources

wikipedia.externallinksexternallink

concurrency

Entity

communicating sequential processes

Calculus of communicating systems

Language Of Temporal Ordering Specification

computer science

International Standard Book Number

digital object identifier

University of Hamburg

formal language

lambda calculus

universal algebra

halting problem

Sign in to save

Similar entities

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

Entitydist 0.48

optimistic concurrency control

Entitydist 0.50

timestamp-based concurrency control

Entitydist 0.52

Entitydist 0.55

Operational transformation

Entitydist 0.59

Tagged Command Queuing

Entitydist 0.59

state transition system

Entitydist 0.61

Entitydist 0.61

additive process

Entitydist 0.62

transient state

Entitydist 0.62

Markov decision process

Entitydist 0.62

Markov renewal process

Entitydist 0.63

What links here116 pages

concurrent computing

Entity

communicating sequential processes

synchronization

modeling language

denotational semantics

cleanroom software engineering

history of calculus

Edsger W. Dijkstra

programming language theory

process modeling

Turing completeness

Language Of Temporal Ordering Specification

computer science

dining philosophers problem

formal verification