Communicating Sequential Processes (CSP)
GPTKB entity
Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:High_School
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:clojure.core.async
|
| gptkbp:allows |
deadlock detection
|
| gptkbp:applies_to |
software engineering
|
| gptkbp:based_on |
process algebra
|
| gptkbp:developed_by |
gptkb:C._A._R._Hoare
|
| gptkbp:first_published |
gptkb:1978
|
| gptkbp:has_programs |
distributed systems
|
| gptkbp:has_variants |
CSP# and FSP
|
| https://www.w3.org/2000/01/rdf-schema#label |
Communicating Sequential Processes (CSP)
|
| gptkbp:includes |
communication primitives
|
| gptkbp:influenced_by |
Hoare logic
|
| gptkbp:is_analyzed_in |
theorem proving
|
| gptkbp:is_compatible_with |
timed automata
|
| gptkbp:is_documented_in |
academic papers
|
| gptkbp:is_implemented_in |
gptkb:Erlang
gptkb:Go_programming_language gptkb:Occam various programming languages CSP# language |
| gptkbp:is_influential_in |
software verification
|
| gptkbp:is_part_of |
the field of concurrency theory
|
| gptkbp:is_related_to |
theoretical computer science
concurrent programming distributed computing message passing synchronization mechanisms synchronous communication process calculus |
| gptkbp:is_represented_in |
CSP notation
|
| gptkbp:is_similar_to |
gptkb:Actor
|
| gptkbp:is_supported_by |
model checkers
CSP tools |
| gptkbp:is_used_for |
gptkb:architect
event-driven programming algorithm design system design model checking software testing system modeling system verification protocol verification modeling concurrent systems |
| gptkbp:is_used_in |
embedded systems
network protocols operating systems real-time applications protocol design |
| gptkbp:is_utilized_in |
real-time systems
|
| gptkbp:provides |
formal verification techniques
a framework for reasoning about processes |
| gptkbp:supports |
synchronization between processes
|
| gptkbp:training |
computer science courses
|