Detail publikace

A Case Study: Modelling Alternating Bit Protocol by PNtalk

KŘENA, B. A Case Study: Modelling Alternating Bit Protocol by PNtalk. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 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
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
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.
ISBN
80-85988-71-2
Místo
Ostrava
BibTeX 
@inproceedings{BUT9830,
  author="Bohuslav {Křena}",
  title="A Case Study: Modelling Alternating Bit Protocol by PNtalk",
  booktitle="Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems",
  year="2002",
  series="Vol. I.",
  pages="65--72",
  address="Ostrava",
  isbn="80-85988-71-2",
  url="http://www.fit.vutbr.cz/~krena/prace/mosis02.ps"
}
Nahoru