Detail publikačního výsledku

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

Anglický název

A Case Study: Modelling Alternating Bit Protocol by PNtalk

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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.

Klíčová slova v angličtině

Alternating bit protocol, ABP, PNtalk, case study.

Autoři

KŘENA, B.

Rok RIV

2011

Vydáno

22.04.2002

Nakladatel

Marq software s.r.o.

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

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