Publication Details

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.
Czech title
Případová studiie: Model ABP v PNtalku
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D. (DITS)
URL
Keywords

Alternating bit protocol, ABP, PNtalk, case study.

Abstract

The alternating bit protocol (ABP) is a simple communication protocol that is able to cover unreliable mediums. ABP has been modelled in many modelling formalisms because it has most of important features of communication protocols although it is very simple. In this paper, we show one of possible models of ABP in modelling language called PNtalk that has been developed in our faculty.

Published
2002
Pages
65–72
Proceedings
Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems
Series
Vol. I.
ISBN
80-85988-71-2
Place
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"
}
Back to top