Publication detail
A Case Study: Modelling Alternating Bit Protocol by PNtalk
KŘENA, B.
Czech title
Případová studiie: Model ABP v PNtalku
English title
A Case Study: Modelling Alternating Bit Protocol by PNtalk
Type
article in a collection out of WoS and Scopus
Language
en
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.
Czech abstract
Protokol ABP (Alternating Bit Protocol) je jednoduchý komunikační protokol, který je schopen přenášet zprávy i přes nespolehlivé přenosové médium. Tento protokol byl modelován v řadě modelovacích jazyků, protože přes svou jednoduchost má řadu vlastností důležitých pro komunikační protokoly. V článku je prezentován model protokolu ABP v modelovacím jazyce PNtalk, který byl vyvinut na naší fakultě.
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 in Czech
Protokol ABP, systém PNtalk, případová studie.
Keywords in English
Alternating bit protocol, ABP, PNtalk, case study.
RIV year
2002
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
Pages from–to
65–72
Pages count
8
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",
month="April",
pages="65--72",
publisher="Marq software s.r.o.",
address="Ostrava",
isbn="80-85988-71-2"
}