CCS
E808839
CCS (Calculus of Communicating Systems) is a formal language and theoretical framework in computer science for modeling and analyzing concurrent, communicating processes.
Observed surface forms (3)
| Surface form | Occurrences |
|---|---|
| Calculus of Communicating Systems | 0 |
| A Calculus of Communicating Systems | 0 |
| Robin Milner | 0 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
formal language ⓘ process calculus ⓘ scientific monograph ⓘ theoretical framework ⓘ |
| acronym | CCS NERFINISHED ⓘ |
| appliedIn |
concurrency theory research
ⓘ
formal methods ⓘ protocol verification ⓘ |
| assumes | handshake communication model ⓘ |
| author | Robin Milner NERFINISHED ⓘ |
| basedOn | labelled transition systems ⓘ |
| creator | Robin Milner NERFINISHED ⓘ |
| field | computer science ⓘ |
| formalizes |
inter-process communication
ⓘ
synchronous communication ⓘ |
| hasConcept |
action
ⓘ
bisimulation ⓘ nondeterministic choice ⓘ parallel composition ⓘ process ⓘ recursion ⓘ relabelling ⓘ restriction ⓘ strong bisimulation ⓘ structural operational semantics ⓘ synchronization ⓘ weak bisimulation ⓘ |
| hasOperator |
choice
ⓘ
parallel composition ⓘ prefixing ⓘ relabelling ⓘ restriction ⓘ |
| hasProperty |
algebraic laws for processes
ⓘ
compositional semantics ⓘ |
| influenced |
Communicating Sequential Processes
NERFINISHED
ⓘ
pi-calculus NERFINISHED ⓘ |
| publication | A Calculus of Communicating Systems NERFINISHED ⓘ |
| relatedTo |
Communicating Sequential Processes
NERFINISHED
ⓘ
LOTOS NERFINISHED ⓘ pi-calculus NERFINISHED ⓘ process algebra ⓘ |
| semanticsGivenBy | labelled transition system ⓘ |
| usedFor |
analyzing communicating processes
ⓘ
modeling concurrent systems ⓘ verification of concurrent protocols ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.