CCS (Calculus of Communicating Systems)
E230808
CCS (Calculus of Communicating Systems) is a formal process calculus introduced by Robin Milner for modeling, specifying, and reasoning about concurrent, communicating systems in computer science.
All labels observed (5)
| Label | Occurrences |
|---|---|
| Calculus of Communicating Systems | 7 |
| CCS (Calculus of Communicating Systems) canonical | 2 |
| A Calculus of Communicating Systems | 1 |
| Algebra of Communicating Processes | 1 |
| CCS (for its main calculus) | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2092391 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: CCS (Calculus of Communicating Systems) Context triple: [Robin Milner, knownFor, CCS (Calculus of Communicating Systems)]
-
A.
CSP (Communicating Sequential Processes)
CSP (Communicating Sequential Processes) is a formal model for describing and analyzing concurrent systems based on independent processes that interact solely through message-passing communication.
-
B.
Hoare logic
Hoare logic is a formal system in computer science used to reason rigorously about the correctness of computer programs using logical assertions about program states.
-
C.
CCS
CCS is the abbreviated name for the Caribbean Community Secretariat, the principal administrative body supporting the Caribbean Community (CARICOM).
-
D.
CCS
CCS is the abbreviation for the Combined Chiefs of Staff, the high-level military command structure formed by the United States and United Kingdom during World War II to coordinate Allied strategy.
-
E.
"Reaching Agreement in the Presence of Faults"
"Reaching Agreement in the Presence of Faults" is a seminal paper in distributed computing that introduced the Byzantine Generals Problem and laid the foundations for understanding consensus in unreliable, fault-prone systems.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: CCS (Calculus of Communicating Systems) Target entity description: CCS (Calculus of Communicating Systems) is a formal process calculus introduced by Robin Milner for modeling, specifying, and reasoning about concurrent, communicating systems in computer science.
-
A.
CSP (Communicating Sequential Processes)
CSP (Communicating Sequential Processes) is a formal model for describing and analyzing concurrent systems based on independent processes that interact solely through message-passing communication.
-
B.
Hoare logic
Hoare logic is a formal system in computer science used to reason rigorously about the correctness of computer programs using logical assertions about program states.
-
C.
CCS
CCS is the abbreviated name for the Caribbean Community Secretariat, the principal administrative body supporting the Caribbean Community (CARICOM).
-
D.
CCS
CCS is the abbreviation for the Combined Chiefs of Staff, the high-level military command structure formed by the United States and United Kingdom during World War II to coordinate Allied strategy.
-
E.
"Reaching Agreement in the Presence of Faults"
"Reaching Agreement in the Presence of Faults" is a seminal paper in distributed computing that introduced the Byzantine Generals Problem and laid the foundations for understanding consensus in unreliable, fault-prone systems.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
formal language
ⓘ
model of concurrency ⓘ process calculus ⓘ |
| communicationStyle |
handshake communication
ⓘ
synchronous message passing ⓘ |
| creator | Robin Milner ⓘ |
| developedAt | University of Edinburgh ⓘ |
| field | computer science ⓘ |
| fullName |
CCS (Calculus of Communicating Systems)
self-linksurface differs
ⓘ
surface form:
Calculus of Communicating Systems
|
| hasConcept |
bisimulation
ⓘ
labelled transition system ⓘ strong bisimulation ⓘ weak bisimulation ⓘ |
| hasFeature |
action prefixing
ⓘ
choice operator ⓘ nondeterminism ⓘ parallel composition ⓘ process composition ⓘ recursion ⓘ relabelling operator ⓘ restriction operator ⓘ synchronous communication ⓘ |
| hasMathematicalBasis |
algebraic laws
ⓘ
equational reasoning ⓘ |
| hasNotation | process algebraic notation ⓘ |
| influenced |
ACP
ⓘ
CSP (Communicating Sequential Processes) ⓘ
surface form:
CSP
LOTOS ⓘ π-calculus ⓘ
surface form:
pi-calculus
|
| introducedBy | Robin Milner ⓘ |
| publicationYear | 1980 ⓘ |
| purpose |
model concurrent systems
ⓘ
reason about concurrent behavior ⓘ specify communicating systems ⓘ |
| relatedTo |
CCS (Calculus of Communicating Systems)
self-linksurface differs
ⓘ
surface form:
Algebra of Communicating Processes
CSP (Communicating Sequential Processes) ⓘ
surface form:
Communicating Sequential Processes
π-calculus ⓘ
surface form:
pi-calculus
|
| semantics |
labelled transition semantics
ⓘ
operational semantics ⓘ |
| subfield |
concurrency theory
ⓘ
theoretical computer science ⓘ |
| typicalModel |
communication protocols
ⓘ
concurrent systems ⓘ distributed systems ⓘ |
| usedFor |
formal verification
ⓘ
model checking ⓘ protocol specification ⓘ reasoning about deadlock ⓘ reasoning about equivalence of processes ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: CCS (Calculus of Communicating Systems) Description of subject: CCS (Calculus of Communicating Systems) is a formal process calculus introduced by Robin Milner for modeling, specifying, and reasoning about concurrent, communicating systems in computer science.
Referenced by (12)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
A Calculus of Communicating Systems
this entity surface form:
Calculus of Communicating Systems
subject surface form:
Robin Milner
this entity surface form:
Calculus of Communicating Systems
this entity surface form:
Calculus of Communicating Systems
this entity surface form:
Calculus of Communicating Systems
CCS (Calculus of Communicating Systems)
→
fullName
→
CCS (Calculus of Communicating Systems)
self-linksurface differs
ⓘ
subject surface form:
CCS
this entity surface form:
Calculus of Communicating Systems
CCS (Calculus of Communicating Systems)
→
relatedTo
→
CCS (Calculus of Communicating Systems)
self-linksurface differs
ⓘ
subject surface form:
CCS
this entity surface form:
Algebra of Communicating Processes
this entity surface form:
Calculus of Communicating Systems
this entity surface form:
CCS (for its main calculus)
subject surface form:
Arthur John Robin Gorell Milner
this entity surface form:
Calculus of Communicating Systems