Communication and Concurrency
E232890
Communication and Concurrency is a foundational book in theoretical computer science that introduces process calculi, particularly the Calculus of Communicating Systems (CCS), to model and reason about concurrent systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Communication and Concurrency canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2092420 — 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: Communication and Concurrency Context triple: [Robin Milner, notableWork, Communication and Concurrency]
-
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.
Jakarta Concurrency
Jakarta Concurrency is a Jakarta EE specification that defines standardized APIs and mechanisms for managing asynchronous and parallel execution in enterprise Java applications.
-
C.
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" is a seminal paper by Leslie Lamport that introduced foundational concepts for ensuring correctness and consistency in concurrent and multiprocessor systems.
-
D.
On Distributed Communications series
On Distributed Communications series is a seminal set of research papers by Paul Baran that laid the theoretical foundations for packet-switched, distributed computer networks and influenced the development of the modern internet.
-
E.
Computer Communication Review
Computer Communication Review is a leading academic journal and newsletter of the ACM SIGCOMM community, publishing research and commentary on computer networking and data communication.
- 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: Communication and Concurrency Target entity description: Communication and Concurrency is a foundational book in theoretical computer science that introduces process calculi, particularly the Calculus of Communicating Systems (CCS), to model and reason about concurrent 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.
Jakarta Concurrency
Jakarta Concurrency is a Jakarta EE specification that defines standardized APIs and mechanisms for managing asynchronous and parallel execution in enterprise Java applications.
-
C.
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" is a seminal paper by Leslie Lamport that introduced foundational concepts for ensuring correctness and consistency in concurrent and multiprocessor systems.
-
D.
On Distributed Communications series
On Distributed Communications series is a seminal set of research papers by Paul Baran that laid the theoretical foundations for packet-switched, distributed computer networks and influenced the development of the modern internet.
-
E.
Computer Communication Review
Computer Communication Review is a leading academic journal and newsletter of the ACM SIGCOMM community, publishing research and commentary on computer networking and data communication.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic monograph
ⓘ
book ⓘ |
| abbreviation |
CCS (for its main calculus)
ⓘ
linked to:
CCS (Calculus of Communicating Systems)
|
| academicDiscipline |
computer science
ⓘ
mathematics of computation ⓘ |
| author | Robin Milner ⓘ |
| countryOfPublication | United Kingdom ⓘ |
| field |
concurrency theory
ⓘ
process calculi ⓘ theoretical computer science ⓘ |
| hasPart |
axioms and laws for CCS
ⓘ
discussion of nondeterminism in concurrency ⓘ examples of concurrent system specifications ⓘ formal definition of CCS semantics ⓘ formal definition of CCS syntax ⓘ proof techniques for process equivalence ⓘ treatment of communication via channels ⓘ treatment of hiding and restriction operators ⓘ treatment of parallel composition ⓘ treatment of recursion in process calculi ⓘ |
| influenced |
CSP research
ⓘ
LOTOS ⓘ model checking of concurrent systems ⓘ process algebra–based verification tools ⓘ π-calculus ⓘ |
| influencedBy |
automata theory
ⓘ
earlier work on process algebras ⓘ formal language theory ⓘ |
| language | English ⓘ |
| mainTopic |
Calculus of Communicating Systems
ⓘ
linked to:
CCS (Calculus of Communicating Systems)
|
| notableFor |
formal treatment of communication and synchronization in concurrent systems
ⓘ
introducing CCS as a foundational process calculus ⓘ |
| publicationYear | 1989 ⓘ |
| publisher | Prentice Hall ⓘ |
| subject |
algebraic laws for processes
ⓘ
bisimulation ⓘ communication in concurrent processes ⓘ concurrent systems ⓘ equivalence of processes ⓘ formal methods ⓘ interleaving semantics ⓘ labelled transition systems ⓘ operational semantics ⓘ process algebra ⓘ synchronization ⓘ verification of concurrent systems ⓘ |
| usedIn |
graduate courses on concurrency theory
ⓘ
research on formal verification of concurrent and distributed systems ⓘ |
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: Communication and Concurrency Description of subject: Communication and Concurrency is a foundational book in theoretical computer science that introduces process calculi, particularly the Calculus of Communicating Systems (CCS), to model and reason about concurrent systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.