Christian Dimitrovici

Publication Activity (10 Years)

Years Active: 1987-1990
Publications (10 Years): 0

Publications

Christian Dimitrovici, Ulrich Hummert
Composition of Algebraic High-Level Nets. ADT (1990)
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) (1990)
Christian Dimitrovici, Udo Hummert, Laure Petrucci
Semantics, composition and net properties of algebraic high-level nets. Applications and Theory of Petri Nets (1990)
Christian Dimitrovici
Projection Spaces. ADT (1988)
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)