Kacem Zeroual, M. El Yassini. A protocol synthesis algorithm: a relational approach. In 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan. pages 58-65, IEEE Computer Society, 1995. [doi]
Abstract is missing.