CCS
E808839
CCS (Calculus of Communicating Systems) is a formal language and theoretical framework in computer science for modeling and analyzing concurrent, communicating processes.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CCS canonical | 3 |
How this entity was disambiguated
This entity first appeared as the object of triple T9566641 — 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 Context triple: [Arthur John Robin Gorell Milner, developed, CCS]
-
A.
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.
-
B.
CCS
CCS is the abbreviated name for the Caribbean Community Secretariat, the principal administrative body supporting the Caribbean Community (CARICOM).
-
C.
CCS
CCS is the Crown Commercial Service, a UK government agency that helps public sector organizations procure goods and services efficiently and cost-effectively.
-
D.
CCS
CCS (ACM Conference on Computer and Communications Security) is a premier annual research conference focusing on cutting-edge topics in information security and privacy.
-
E.
CCS
CCS is the commonly used abbreviation for the Central Coast Section, a regional governing body for high school athletics in California.
- 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 Target entity description: CCS (Calculus of Communicating Systems) is a formal language and theoretical framework in computer science for modeling and analyzing concurrent, communicating processes.
-
A.
CCS
CCS (ACM Conference on Computer and Communications Security) is a premier annual research conference focusing on cutting-edge topics in information security and privacy.
-
B.
CCS
CCS is an abbreviation commonly used for the College of Creative Studies, a specialized undergraduate college focused on intensive, independent study in the creative arts and sciences.
-
C.
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.
-
D.
CCS
CCS is the abbreviated name for the Caribbean Community Secretariat, the principal administrative body supporting the Caribbean Community (CARICOM).
-
E.
CCS
CCS (Combined Charging System) is a widely adopted fast-charging standard for electric vehicles that integrates AC and DC charging through a single connector design.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
formal language ⓘ process calculus ⓘ scientific monograph ⓘ theoretical framework ⓘ |
| acronym | CCS ⓘ |
| appliedIn |
concurrency theory research
ⓘ
formal methods ⓘ protocol verification ⓘ |
| assumes | handshake communication model ⓘ |
| author | Robin Milner ⓘ |
| basedOn | labelled transition systems ⓘ |
| creator | Robin Milner ⓘ |
| field | computer science ⓘ |
| formalizes |
inter-process communication
ⓘ
synchronous communication ⓘ |
| hasConcept |
action
ⓘ
bisimulation ⓘ nondeterministic choice ⓘ parallel composition ⓘ process ⓘ recursion ⓘ relabelling ⓘ restriction ⓘ strong bisimulation ⓘ structural operational semantics ⓘ synchronization ⓘ weak bisimulation ⓘ |
| hasOperator |
choice
ⓘ
parallel composition ⓘ prefixing ⓘ relabelling ⓘ restriction ⓘ |
| hasProperty |
algebraic laws for processes
ⓘ
compositional semantics ⓘ |
| influenced |
Communicating Sequential Processes
ⓘ
linked to:
CSP (Communicating Sequential Processes)
pi-calculus ⓘ
linked to:
π-calculus
|
| publication |
A Calculus of Communicating Systems
ⓘ
linked to:
CCS (Calculus of Communicating Systems)
|
| relatedTo |
Communicating Sequential Processes
ⓘ
linked to:
CSP (Communicating Sequential Processes)
LOTOS ⓘ pi-calculus ⓘ
linked to:
π-calculus
process algebra ⓘ |
| semanticsGivenBy | labelled transition system ⓘ |
| usedFor |
analyzing communicating processes
ⓘ
modeling concurrent systems ⓘ verification of concurrent protocols ⓘ |
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 Description of subject: CCS (Calculus of Communicating Systems) is a formal language and theoretical framework in computer science for modeling and analyzing concurrent, communicating processes.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.