Transactions on Petri Nets and Other Models of Concurrency III - Transactions on Petri Nets and Other Models of Concurrency 5800 (Paperback)
  • Transactions on Petri Nets and Other Models of Concurrency III - Transactions on Petri Nets and Other Models of Concurrency 5800 (Paperback)
zoom

Transactions on Petri Nets and Other Models of Concurrency III - Transactions on Petri Nets and Other Models of Concurrency 5800 (Paperback)

(guest editor), (editor-in-chief), (guest editor)
£62.99
Paperback 275 Pages / Published: 11/11/2009
  • We can order this from the publisher

Usually dispatched within 15 working days

  • This item has been added to your basket
AccordingtoHolzmann [14], protocol speci?cationscomprise ?veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol entities; the format of each message; the rules governingm- sage exchange (procedures); and the assumptionsabout the environment in which the protocol is intended tooperate. In protocol standards documents, information related to the operatingenvironment isusually writteninformally andmayoccur in several di?erentplaces [37]. This informal speci?cation style canlead to misunderstandings andpossibly incompatible implementations. In contrast,executableformalmodelsrequireprecisespeci?cations oftheoperating environment. Ofparticularsigni?canceisthecommunicationmediumorchannel over which the protocol operates. Channelscan havedi?erent characteristics depending on the physical media (e. g. optical ?bre, copper, cable orunguided media (radio)) they employ. The characteristics also depend on the levelof the protocol inacomputer protocol architecture. Forexample, the link-leveloperates over a singlemedium,whereas the network, transport andapplication levelsmayoperate over a network,or network of networks such as the Internet,which couldemploy several di?erent physical media. Channels (such as satellite links) can be noisy resulting in bit errors in packets. To correct biterrors in packets, many importantprotocols (such the Internet's TransmissionControl Protocol [27]) use CyclicRedundancy Checks (CRCs)[28] to detect errors. On detectingan error,the receiver discards the packet andrelies on the sender to retransmit itforrecovery,known as Au- maticRepeatreQuest(ARQ)[28]. Thisisachievedbythereceiveracknowledging the receipt of good packets, andby the transmitter maintainingatimer. When the timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642048548
Number of pages: 275
Weight: 456 g
Dimensions: 235 x 155 x 15 mm
Edition: 2009 ed.

You may also be interested in...

The Thirteen Books of Euclid's Elements
Added to basket
Logic
Added to basket
£10.99
Paperback
Measurements and their Uncertainties
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Foundation Mathematics for Biosciences
Added to basket
Pre-Algebra DeMYSTiFieD, Second Edition
Added to basket
Computability and Logic
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback
The Incompleteness Phenomenon
Added to basket
The Foundations of Mathematics
Added to basket
Mathematical Logic
Added to basket

Please sign in to write a review

Your review has been submitted successfully.