SODA

Specifying and analysing resource management in DTM protocols

Orava, Fredrik (1994) Specifying and analysing resource management in DTM protocols. [SICS Report]

Full text not available from this repository.


Item Type:SICS Report
Uncontrolled Keywords:Process algebra, p-calculus, verification, high speed network, resource management
ID Code:2498
Deposited By:Vicki Carleson
Deposited On:05 Nov 2007
Last Modified:18 Nov 2009 16:09

Repository Staff Only: item control page