Christian Dimitrovici

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1992
Algebraic specification of action trees and recursive processes.
Proceedings of the Tree Automata and Languages., 1992

1990
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci., 1990

Semantics, composition and net properties of algebraic high-level nets.
Proceedings of the Advances in Petri Nets 1991, 1990

Composition of Algebraic High-Level Nets.
Proceedings of the Recent Trends in Data Type Specification, 1990

1988
Projection Spaces.
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.
Proceedings of the Recent Trends in Data Type Specification, 1987


  Loading...