| 1992 |
|---|
| 3 | | Catharina Rieckhoff:
Towards a Theory for the Animation of Algebraic Specification.
COMPASS/ADT 1992: 310-320 |
| 1990 |
|---|
| 2 | | 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.
Theor. Comput. Sci. 71(3): 347-380 (1990) |
| 1987 |
|---|
| 1 | | 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.
ADT 1987: 23-43 |
