Summary.
An algorithm by Kant, Higashino and Bochmann for service-based protocol synthesis in the standard specification language LOTOS is discussed. It is demonstrated that the transformations for distributed implementation of synchronised parallel execution and of disabling are not correct in a general case.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: January 1998 / Accepted: January 1999
Rights and permissions
About this article
Cite this article
Kapus-Kolar, M. Comments on deriving protocol specifications from service specifications written in LOTOS. Distrib Comput 12, 175–177 (1999). https://doi.org/10.1007/s004460050064
Issue Date:
DOI: https://doi.org/10.1007/s004460050064