IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic modification of a protocol specification based on changes of a service specification

Proceedings of 1996 International Conference on Parallel and Distributed Systems

Author(s): Go, K. ; Takahashi, K. ; Kaminaga, H. ; Shiratori, N.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Tokyo, Japan, Japan
Conference Date: 3 June 1996
Page(s): 129 - 134
ISBN (Paper): 0-8186-7267-6
DOI: 10.1109/ICPADS.1996.517554
Regular:

The problem of modifying an existing protocol specification of a communicating system in Labelled Transition System (LTS) based on changes of it's service specification in LTS is discussed. Two... View More

Advertisement