| 1992 |
|---|
| 6 | | Martin Große-Rhode,
Christian Dimitrovici:
Algebraic specification of action trees and recursive processes.
Tree Automata and Languages 1992: 235-290 |
| 1990 |
|---|
| 5 | | Christian Dimitrovici,
Ulrich Hummert:
Composition of Algebraic High-Level Nets.
ADT 1990: 52-73 |
| 4 | | Christian Dimitrovici,
Udo Hummert,
Laure Petrucci:
Semantics, composition and net properties of algebraic high-level nets.
Applications and Theory of Petri Nets 1990: 93-117 |
| 3 | | 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) |
| 1988 |
|---|
| 2 | | Christian Dimitrovici:
Projection Spaces.
ADT 1988 |
| 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 |
