Implementering av CCS med värdeöverföring
暂无分享,去创建一个
Den har rapporten handlar om en del av implementeringen av ett programsystem kallat "CWB" (Concurrency Workbench) som utfor ett flertal analyser av processer. Processerna beskrivs i spraket CCS (Calculus of Communicating Systems) [Mil80], en metod att specificera och resonera om distribuerade datorsystem.