Detail publikace

A Case Study: Modelling Alternating Bit Protocol by PNtalk

KŘENA, B.

Originální název

A Case Study: Modelling Alternating Bit Protocol by PNtalk

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Alternating bit protocol, ABP, PNtalk, case study.

Autoři

KŘENA, B.

Rok RIV

2002

Vydáno

22. 4. 2002

Místo

Ostrava

ISBN

80-85988-71-2

Kniha

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

Edice

Vol. I.

Strany od

65

Strany do

72

Strany počet

8

URL

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