| 1990 |
|---|
| 9 | | 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) |
| 1989 |
|---|
| 8 | | Dietmar Wolz,
Paul Boehm:
Compilation of LOTOS Data Type Specifications.
PSTV 1989: 187-202 |
| 7 | | Hartmut Ehrig,
Ingo Claßen,
Paul Boehm,
Werner Fey,
Martin Korff,
Michael Löwe:
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).
Software-Entwicklung 1989: 201-224 |
| 1987 |
|---|
| 6 | | 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 |
| 5 | | Paul Boehm,
Harald-Reto Fonio,
Annegret Habel:
Amalgamation of Graph Transformations: A Synchronization Mechanism.
J. Comput. Syst. Sci. 34(2/3): 377-408 (1987) |
| 1986 |
|---|
| 4 | | Paul Boehm:
The ACT System - A Software Environment for ACT ONE Specifications.
ADT 1986 |
| 3 | | Paul Boehm,
Hartmut Ehrig,
Udo Hummert,
Michael Löwe:
Towards distributed graph grammars.
Graph-Grammars and Their Application to Computer Science 1986: 86-98 |
| 2 | | Hartmut Ehrig,
Annegret Habel,
Udo Hummert,
Paul Boehm:
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars.
Bulletin of the EATCS 29: 22-26 (1986) |
| 1985 |
|---|
| 1 | | Paul Boehm,
Harald-Reto Fonio,
Annegret Habel:
Amalgamation of Graph Transformations with Applications to Synchronization.
TAPSOFT, Vol.1 1985: 267-283 |
