Stefan Leue, Philippe Oechslin. Formalizations and algorithms for optimized parallel protocol implementation. In 1994 International Conference on Network Protocols, ICNP 1994, Boston, MA, USA, October 25-28, 1994, Proceedings. pages 178-185, IEEE, 1994. [doi]
Abstract is missing.