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.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer science
- Category: Algorithms & data structures
- Government Agency: NIST
0
ผู้สร้าง
- D.Rambrudt
- 100% positive feedback