We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.
翻译:暂无翻译