Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori. A flexible protocol synthesis method for adopting requirement changes. In 1996 International Conference on Parallel and Distributed Systems (ICPADS 96), June 3-6, 1996, Tokyo, Japan, Proceedings. pages 319-326, IEEE Computer Society, 1996. [doi]
Abstract is missing.