Institutional Repository

Protocol Performance Using Image Protocols

Show simple item record Kritzinger, Pieter S. 2018-06-06T12:43:54Z 2018-06-06T12:43:54Z 1988
dc.identifier.citation P S Kritzinger (1988) Protocol Performance Using Image Protocols. Quaestiones Informaticae Vol 6 No 1 1988 en
dc.identifier.issn 0254-2757
dc.description.abstract Performance analyses of data communication systems do not always rely on a detailed analysis of the underlying protocols. Those analyses which do, usually rely on an analysis of the protocol state transition graph. These graphs tend to become very large for nontrivial protocols and the analyses correspondingly complex. Image protocols is a recent approach to reduce the complexity of communication protocol analysis. The method allows for the construction of an image protocol which is generally smaller than the original protocol and its analysis therefore less complex. An image protocol system is said to be faithful if it preserves the safety and liveness properties of the original protocol system. In this paper we show that an image protocol is also faithful as far as its performance is concerned, a result which simplifies performance studies of the protocol considerably. An example which illustrates the principles involved is included. Keywords: Protocol performance, image protocol, aggregation, state transition graph.finite state machine, multiclass queueing theory, queueing network, MV A-algorithm. en
dc.language.iso en en
dc.publisher Computer Society of South Africa (on behalf of SAICSIT) en
dc.title Protocol Performance Using Image Protocols en
dc.type Article
dc.description.department School of Computing en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account