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.

0 0

Penulis

  • D.Rambrudt
  •  (V.I.P) 34692 poin
  • 100% positive feedback
© 2024 CSOFT International, Ltd.