Titlebook: Dependable Network Computing; Dimiter R. Avresky Book 2000 Springer Science+Business Media New York 2000 Broadcast.Computer.Flooding.Inter

Sarcoma

REP

eczema

Stephan Meisel,Uli Suppa,Dirk Mattfeldtionally a formal model of an algorithm for regulating burstiness of network traffic is presented which incorporates discrete timing constraints. Our models are presented in CSP with automatic verification by the FDR model checker.