Christian Dimitrovici

According to our database, Christian Dimitrovici authored at least 6 papers between 1987 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Algebraic specification of action trees and recursive processes.

Martin Große-Rhode, Christian Dimitrovici

Proceedings of the Tree Automata and Languages., 1992

1990

Combining Data Type and Recursive Process Specifications Using Projection Algebras.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Theor. Comput. Sci., 1990

Semantics, composition and net properties of algebraic high-level nets.

Christian Dimitrovici, Udo Hummert, Laure Petrucci

Proceedings of the Advances in Petri Nets 1991, 1990

Composition of Algebraic High-Level Nets.

Christian Dimitrovici, Ulrich Hummert

Proceedings of the Recent Trends in Data Type Specification, 1990

1988

Projection Spaces.

Christian Dimitrovici

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Algebraic Data Type and Process Specifications based on Projection Spaces.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Proceedings of the Recent Trends in Data Type Specification, 1987