Conference paper

KŘENA Bohuslav. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Ostrava, 2002, pp. 65-72. ISBN 80-85988-71-2.
Publication language:english
Original title:A Case Study: Modelling Alternating Bit Protocol by PNtalk
Title (cs):Případová studiie: Model ABP v PNtalku
Pages:65-72
Proceedings:Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems
Conference:36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems
Series:Vol. I.
Place:Ostrava, CZ
Year:2002
ISBN:80-85988-71-2
URL:http://www.fit.vutbr.cz/~krena/prace/mosis02.ps [PS]
Keywords
Alternating bit protocol, ABP, PNtalk, case study.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Bohuslav K{\v{r}}ena},
   title = {A Case Study: Modelling Alternating Bit Protocol by PNtalk},
   pages = {65--72},
   booktitle = {Proceedings of 36th International Conference MOSIS'02
	Modelling and Simulation of Systems},
   series = {Vol. I.},
   year = {2002},
   location = {Ostrava, CZ},
   ISBN = {80-85988-71-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6906}
}

Your IPv4 address: 54.81.108.205
Switch to IPv6 connection

DNSSEC [dnssec]