Publication result detail

A Case Study: Modelling Alternating Bit Protocol by PNtalk

KŘENA, B.

Original Title

A Case Study: Modelling Alternating Bit Protocol by PNtalk

English Title

A Case Study: Modelling Alternating Bit Protocol by PNtalk

Type

Paper in proceedings outside WoS and Scopus

Original 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.

English 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.

Keywords

Alternating bit protocol, ABP, PNtalk, case study.

Key words in English

Alternating bit protocol, ABP, PNtalk, case study.

Authors

KŘENA, B.

RIV year

2011

Released

22.04.2002

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-85988-71-2

Book

Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems

Edition

Vol. I.

Pages from

65

Pages to

72

Pages count

8

URL

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

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-71-2",
  url="http://www.fit.vutbr.cz/~krena/prace/mosis02.ps"
}