Home > Term: Kalkulus kommunisere systemer (CCS)
Kalkulus kommunisere systemer (CCS)
Introdusert av Robin Milner rundt 1980, er CCS en algebraisk teori som formaliserer forestillingen om samtidig beregning. Formelle språk inkluderer primitive for å beskrive parallelle komposisjon, valg mellom handlinger og omfang begrensning. CCS er nyttig for å vurdere kvalitative riktigheten av egenskapene til et system som vranglås eller livelock.
- Jenis Kata: noun
- Industri / Domain: Sains komputer
- Kategori: Algorithms & data structures
- Government Agency: NIST
0
Penulis
- D.Rambrudt
- 100% positive feedback