communicating sequential processes (Q1120460)
Jump to navigation
Jump to search
formal language for concurrent systems
- CSP
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | communicating sequential processes |
formal language for concurrent systems |
|
Statements
Identifiers
Sitelinks
Wikipedia(15 entries)
- cawiki Processos comunicants seqüencials
- dewiki Communicating Sequential Processes
- elwiki Επικοινωνούσες Ακολουθιακές Διεργασίες
- enwiki Communicating sequential processes
- eswiki Comunicación de procesos secuenciales
- frwiki Communicating sequential processes
- hrwiki Slijedni priopćajni postupci
- jawiki Communicating Sequential Processes
- kowiki 커뮤니케이팅 시퀜셜 프로세스
- plwiki Communicating Sequential Processes
- ptwiki CSP (matemática)
- ruwiki Взаимодействующие последовательные процессы
- ukwiki Комунікуючі послідовні процеси
- zh_yuewiki 交談循序程式
- zhwiki 通信顺序进程