Detail publikace

A Case Study: Modelling Alternating Bit Protocol by PNtalk

KŘENA Bohuslav. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava: MARQ, 2002, s. 65-72. ISBN 80-85988-71-2.
Název česky
Případová studiie: Model ABP v PNtalku
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Klíčová slova

Protokol ABP, systém PNtalk, případová studie.

Abstrakt

Protokol ABP (Alternating Bit Protocol) je jednoduchý komunikační protokol, který je schopen přenášet zprávy i přes nespolehlivé přenosové médium. Tento protokol byl modelován v řadě modelovacích jazyků, protože přes svou jednoduchost má řadu vlastností důležitých pro komunikační protokoly. V článku je prezentován model protokolu ABP v modelovacím jazyce PNtalk, který byl vyvinut na naší fakultě.

Rok
2002
Strany
65-72
Sborník
Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems
Řada
Vol. I.
Konference
36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems , Rožnov pod Radhoštěm, CZ
ISBN
80-85988-71-2
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB6906,
   author = "Bohuslav K\v{r}ena",
   title = "A Case Study: Modelling Alternating Bit Protocol by PNtalk",
   pages = "65--72",
   booktitle = "Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems",
   series = "Vol. I.",
   year = 2002,
   location = "Ostrava, CZ",
   ISBN = "80-85988-71-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6906"
}
Nahoru