Use this URL to cite or link to this record in EThOS:
Title: A routing calculas towards formalising the cost of computation in a distributed computer network
Author: Guar, Manish
ISNI:       0000 0001 3521 6694
Awarding Body: University of Sussex
Current Institution: University of Sussex
Date of Award: 2007
Availability of Full Text:
Access from EThOS:
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.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available