On the coherence of component protocols

Andrés Farías, Yann-Gaël Guéhéneuc. On the coherence of component protocols. Electronic Notes in Theoretical Computer Science, 82(5):42-53, 2003. [doi]

Abstract

Abstract is missing.