Disambiguation evidence for CCS (Calculus of Communicating Systems) via surface form
"Calculus of Communicating Systems"
Triples (8)
Triples where some other subject referred to this entity
as "Calculus of Communicating Systems".
CSP (Communicating Sequential Processes)
→
relatedTo
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)
Robin Milner
→
notableWork
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)
linked to:
Milner
Arthur John Robin Gorell Milner
→
notableWork
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)
Arthur John Robin Gorell Milner
→
developed
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)
CCS
→
fullName
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)
linked to:
CCS (Calculus of Communicating Systems)
Communication and Concurrency
→
mainTopic
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)
Arthur John Robin Gorell Milner
→
notableWork
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)
linked to:
Arthur
concurrency theory
→
hasKeyFormalism
→
"Calculus of Communicating Systems"
ⓘ
↳ resolves to CCS (Calculus of Communicating Systems)