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.