Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori. Automatic modification of a protocol specification based on changes of a service specification. In 1996 International Conference on Parallel and Distributed Systems (ICPADS 96), June 3-6, 1996, Tokyo, Japan, Proceedings. pages 129-134, IEEE Computer Society, 1996. [doi]
Abstract is missing.