Publication Details

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, 2002, pp. 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 FIT BUT)

URL

http://www.fit.vutbr.cz/~krena/prace/mosis02.ps PS

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.

Conference

36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems , Rožnov pod Radhoštěm, CZ

ISBN

80-85988-71-2

Place

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"
}