DSpace Repository

Self-stabilizing multi-agent system for communication protocols

Show simple item record

dc.contributor.author Nguyen Thi Tuyet Le en_US
dc.date.accessioned 2015-01-12T10:39:44Z
dc.date.available 2015-01-12T10:39:44Z
dc.identifier.other AIT Thesis no.CS-02-32 en_US
dc.identifier.uri http://www.cs.ait.ac.th/xmlui/handle/123456789/236
dc.description Bangkok : Asian Institute of Technology, 2002 en_US
dc.description 77 p. en_US
dc.description.abstract An important function of communication networks is to implement reliable data transfer over an unreliable underlying network. Research in self -stabilizing aims at making distributed systems more reliable by handling faults in complex computing environment. A communication protocol is self-stabilizing if it guarantees that the protocol will eventually reach a legitimate state when started from an arbitrary initial state within a finite number of state transitions. Stabiliz ation allows the processes in a prot ocol to re-establish coordination between one another, whenever coordi nation is lost due to some failure. The aim of this thesis is to study general techniques to make communication protocols self- stabilizing. We also discuss how to apply th ese techniques to transform the sliding-window and the two-way handshake protocol to make th em self-stabilizing. Finally, we convert the protocols into multi-agent systems using th e Agent Programming Language, which is a high- level language, which variables come with predicates that define them. Thus, it is even easier for users to look at the code and unders tand the roles of program variables
dc.relation.ispartof Thesis no. CS-02-32 en_US
dc.relation.ispartof Asian Institute of Technology. Thesis no. CS-02-32 en_US
dc.subject Self-stabilization (Computer science) en_US
dc.subject Computer network protocols en_US
dc.title Self-stabilizing multi-agent system for communication protocols en_US
dc.type Thesis en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account