Monika Kapus-Kolar. Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing, 12(4):175-177, 1999. [doi]
@article{Kapus-Kolar99:0,
title = {Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS},
author = {Monika Kapus-Kolar},
year = {1999},
url = {http://link.springer.de/link/service/journals/00446/bibs/9012004/90120175.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/Kapus-Kolar99%3A0},
cites = {0},
citedby = {0},
journal = {Distributed Computing},
volume = {12},
number = {4},
pages = {175-177},
}