process calculus (Q1970286)
Jump to navigation
Jump to search
diverse family of related approaches for formally modelling concurrent systems
- process algebras
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | process calculus |
diverse family of related approaches for formally modelling concurrent systems |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(10 entries)
- dewiki Prozesskalkül
- enwiki Process calculus
- fawiki حساب پردازه
- frwiki Algèbre de processus
- jawiki プロセス計算
- ltwiki Procesų algebra
- plwiki Rachunek procesowy
- ptwiki Cálculo de processos
- ruwiki Исчисление процессов
- zhwiki 进程演算