concurrency theory
E807611
Concurrency theory is a branch of theoretical computer science that studies the behavior, interaction, and formal modeling of systems with multiple components executing simultaneously.
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
area of computer science
ⓘ
branch of theoretical computer science ⓘ research field ⓘ |
| aimsTo |
analyze deadlock and livelock
ⓘ
analyze liveness properties ⓘ analyze safety properties ⓘ provide formal models of concurrent computation ⓘ reason about correctness of concurrent systems ⓘ |
| appliedIn |
distributed systems
ⓘ
embedded and real-time systems ⓘ multi-core and parallel programming ⓘ network protocols ⓘ operating systems ⓘ |
| fieldOfStudy |
Petri nets
NERFINISHED
ⓘ
communication protocols ⓘ distributed algorithms ⓘ event structures ⓘ model checking of concurrent systems ⓘ process calculi ⓘ semantics of concurrent programming languages ⓘ synchronization primitives ⓘ temporal logics ⓘ transition systems ⓘ |
| hasKeyFormalism |
Calculus of Communicating Systems
NERFINISHED
ⓘ
Communicating Sequential Processes NERFINISHED ⓘ Petri net theory NERFINISHED ⓘ π-calculus NERFINISHED ⓘ |
| relatedTo |
automata theory
NERFINISHED
ⓘ
distributed computing ⓘ formal methods ⓘ program verification ⓘ |
| studies |
causality in concurrent computations
ⓘ
communication in concurrent systems ⓘ concurrent systems ⓘ formal modeling of concurrent behavior ⓘ interaction between concurrent components ⓘ interleaving of actions ⓘ nondeterminism in computation ⓘ synchronization in concurrent systems ⓘ systems with multiple components executing simultaneously ⓘ true concurrency ⓘ |
| usesConcept |
bisimulation
ⓘ
labelled transition systems ⓘ message passing ⓘ partial order semantics ⓘ process algebra ⓘ shared memory ⓘ synchronization primitives such as locks ⓘ synchronization primitives such as semaphores ⓘ trace equivalence ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
CCS