Algebraic Data Type and Process Specifications based on Projection Spaces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode. Algebraic Data Type and Process Specifications based on Projection Spaces. In Donald Sannella, Andrzej Tarlecki, editors, Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers. Volume 332 of Lecture Notes in Computer Science, pages 23-43, Springer, 1987.

This author has not been identified. Look up 'Hartmut Ehrig' in GoogleThis author has not been identified. Look up 'Francesco Parisi-Presicce' in GoogleThis author has not been identified. Look up 'Paul Boehm' in GoogleThis author has not been identified. Look up 'Catharina Rieckhoff' in GoogleThis author has not been identified. Look up 'Christian Dimitrovici' in GoogleThis author has not been identified. Look up 'Martin Große-Rhode' in Google

runs on WebDSL