Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori. Extension of protocol synthesis to structured entities. In 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan. pages 66-73, IEEE Computer Society, 1995. [doi]
Abstract is missing.