Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

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

时态次序规定语言 · Vinony

Home
Concurrency (computer science)
时态次序规定语言

🌐中文

English Deutsch Español Français 中文

EntityQ1805432· pop 5· linked from 485 articles

时态次序规定语言

Formal specification language in computer science

Available in 5 languages

Español
Français
Deutsch
Yoruba

via Wikidata sitelinks · CC0

Connections

Categories

Concurrency (computer science)Concurrency control Formal methods Formal specification languages Process calculi Synchronization Theoretical computer science

Sources

wikipedia.externallinksexternallink

WS-Addressing

Entity

International Standard Book Number

programming language

International Organization for Standardization

digital object identifier

International Standard Serial Number

Sign in to save

Similar entities

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

Category:Formal specification languages

Entitydist 0.44

Entitydist 0.46

Entitydist 0.49

specification and description language

Entitydist 0.49

Entitydist 0.52

Entitydist 0.52

Entitydist 0.52

Entitydist 0.54

Entitydist 0.55

Entitydist 0.56

Composite order

Entitydist 0.56

concatenative programming language

Entitydist 0.56

What links here485 pages

process calculus

communicating sequential processes

Calculus of communicating systems

Readers-writers problem

antimagnetic watch

producer-consumer problem

Versatile Video Coding

formal specification