Calculus of communicating systems (Q2563079)
Jump to navigation
Jump to search
process calculus
- CCS
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Calculus of communicating systems |
process calculus |
|
Statements
1980
0 references
Identifiers
Sitelinks
Wikipedia(6 entries)
- cawiki CCS
- elwiki Λογισμός των Επικοινωνούντων Συστημάτων
- enwiki Calculus of communicating systems
- eswiki Cálculo de sistemas comunicantes
- ruwiki Исчисление взаимодействующих систем
- trwiki İletişim sistemleri cebiri