We model a distributed network with routers acting as an active component in determining the quality of service of the network. Our model may be considered as an extension of the asynhronous distributed pi-calculus (ADpi). We believe that such models help in prototyping the routing algorithms in context of large networks and reasoning about them while abstracting away the excessive details.
Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:488605 |
Date | January 2007 |
Creators | Guar, Manish |
Publisher | University of Sussex |
Source Sets | Ethos UK |
Detected Language | English |
Type | Electronic Thesis or Dissertation |
Page generated in 0.1155 seconds