Comments on deriving protocol specifications from service specifications written in LOTOS

Authors:
Monika Kapus-Kolar
Affiliations:
Jožef Stefan Institute, POB 3000, SI-1001 Ljubljana, Slovenia
Venue:
Distributed Computing
Year:
1999

Citing 4
Cited 0

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
New results on deriving protocol specifications from service specifications

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Decomposition of functionality: a correctness-preserving LOTOS transformation

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Deriving protocol specifications from service specifications written in LOTOS

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.