Combining Data Type and Recursive Process Specifications Using Projection Algebras

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode. Combining Data Type and Recursive Process Specifications Using Projection Algebras. Theoretical Computer Science, 71(3):347-380, 1990.

Abstract

Abstract is missing.