π-calculus

process calculus

Intangible process_calculus Q602886

Facts

2 properties

Instance of: process calculus
Partially coincident with: Join-calculus^[1]

🏷️ Also known as

en pi-calculus en π-calculus cs pi-calculus de Pi-Kalkül el Λογισμός π es Cálculo pi es Calculo pi fr Pi-calcul id Kalkulus pi it Pi calculus ja π計算 ru Пи-исчисление uk Пі-числення zh Π-演算

🔖 Identifiers · 7

Library of Congress authority ID: sh98004617
OpenAlex ID: C2984882572
Freebase ID: /m/026ckf
GitLab topic ID: %25CF%2580-calculus
Microsoft Academic ID (discontinued): 87529345
National Library of Israel J9U ID: 987007534966605171
Yale LUX ID: concept/a3275df4-bf99-44f8-969a-d70a651ee74f

Report an error or request removal Lineage (PROV-JSON)

🔗 Connections

← Manifestation of 3

occam-π, Ateji PX, Pict

Instance of 1

process calculus

Press Enter · cited answer in seconds

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

[1] ↑ π-calculus — partially coincident with (P1382): Join-calculus. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). π-calculus. Retrieved November 4, 2026, from https://4ort.xyz/entity/calculus-q602886

MLA “π-calculus.” 4ort.xyz Knowledge Graph, 4ort.xyz, 4 Nov. 2026, https://4ort.xyz/entity/calculus-q602886.

BibTeX

@misc{4ortxyz_calculus-q602886_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{π-calculus}}, year = {2026}, url = {https://4ort.xyz/entity/calculus-q602886}, note = {Accessed: 2026-11-04}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): π-calculus — https://4ort.xyz/entity/calculus-q602886 (retrieved 2026-11-04)

Canonical URL: https://4ort.xyz/entity/calculus-q602886 · Last refreshed: November 4, 2026

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

23w ago · Twofivesixbot bot · 2026-05-25 view diff on Wikidata ↗

Instance of → —

Partially coincident with → Join-calculus

Instance of → process calculus

Aliases → —

"/* wbsetclaim-update-qualifiers:1||1|2 */ National Library of Israel J9U ID: 987007534966605171, mv to monolingual text names on J9U statements"

Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.