Product and Iteration of Module Specifications

Francesco Parisi-Presicce. Product and Iteration of Module Specifications. In Max Dauchet, Maurice Nivat, editors, CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Volume 299 of Lecture Notes in Computer Science, pages 149-164, Springer, 1988.

Abstract

Abstract is missing.