Triple
T9566640
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Arthur John Robin Gorell Milner |
E230803
|
entity |
| Predicate | developed |
P73
|
FINISHED |
| Object | Calculus of Communicating Systems |
E230808
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Calculus of Communicating Systems Context triple: [Arthur John Robin Gorell Milner, developed, Calculus of Communicating Systems]
-
A.
CCS (Calculus of Communicating Systems)
chosen
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.
-
B.
π-calculus
The π-calculus is a formal mathematical model for describing and analyzing concurrent, communicating systems, particularly those with dynamic network structures.
-
C.
concurrency theory
Concurrency theory is a branch of theoretical computer science that studies the behavior, interaction, and formal modeling of systems with multiple components executing simultaneously.
-
D.
spi-calculus
Spi-calculus is a process calculus extending π-calculus with cryptographic primitives to formally model and analyze security protocols.
-
E.
The Calculus of Computation
The Calculus of Computation is a textbook that introduces the mathematical foundations of verification, focusing on logic-based methods for specifying and proving properties of computational systems.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca847f22188190a56e4a97625bef22 |
elicitation | completed |
| NER | batch_69cd996df4f08190b19bbaefb10a9789 |
ner | completed |
| NED1 | batch_69d16149c7808190b476ec06e9780a03 |
ned_source_triple | completed |
Created at: March 30, 2026, 8:04 p.m.