SODA

Implementering av CCS med värdeöverföring

Lee, Chan-Hee (1989) Implementering av CCS med värdeöverföring. [SICS Report]

[img]
Preview
PDF
2736Kb

Abstract

Den här rapporten handlar om en del av implementeringen av ett programsystem kallat "CWB" (Concurrency Workbench) som utför ett flertal analyser av processer. Processerna beskrivs i språket CCS (Calculus of Communicating Systems) [Mil80], en metod att specificera och resonera om distribuerade datorsystem.

Item Type:SICS Report
Additional Information:Report is written in Swedish. Examensarbete som utförts vid SICS.
ID Code:2164
Deposited By:Vicki Carleson
Deposited On:29 Oct 2007
Last Modified:18 Nov 2009 16:00

Repository Staff Only: item control page