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
Anglický název
A Case Study: Modelling Alternating Bit Protocol by PNtalk
Jazyk
en
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.
Dokumenty
BibTex
@inproceedings{BUT9830,
author="Bohuslav {Křena}",
title="A Case Study: Modelling Alternating Bit Protocol by PNtalk",
annote="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.",
booktitle="Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems",
chapter="9830",
edition="Vol. I.",
year="2002",
month="april",
pages="65--72",
type="conference paper"
}