Disambiguation evidence for CSP (Communicating Sequential Processes) via surface form
"Communicating Sequential Processes"
Triples (11)
Triples where some other subject referred to this entity
as "Communicating Sequential Processes".
Tony Hoare
→
notableWork
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
CSP (Communicating Sequential Processes)
→
fullName
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
CCS
→
relatedTo
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
linked to:
CCS (Calculus of Communicating Systems)
occam programming language
→
basedOn
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
Clojure core.async
→
inspiredBy
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
FDR model checker
→
supportsFormalism
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
ProBE animator
→
supportsFormalism
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
An Axiomatic Basis for Computer Programming
→
relatedWork
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
concurrency theory
→
hasKeyFormalism
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
Calculus of Communicating Systems
→
influenced
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
linked to:
CCS
Calculus of Communicating Systems
→
relatedTo
→
"Communicating Sequential Processes"
ⓘ
↳ resolves to CSP (Communicating Sequential Processes)
linked to:
CCS