( en | de | ru )

 

Disambiguation of "Ehrig, Hartmut"

Author of the publication

copydeleteadd this publication to your clipboard
Behaviour and Instantiation of High-Level Petri Net Processes.

. Fundam. Informaticae, 65 (3): 211-247 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hartmut Ehrig

Hartmut Ehrig

Heinz Ehrig

Bodo Ehrig

Ehrig Lange

 

Other publications of authors with the same name

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems., , , and . MFCS, volume 88 of Lecture Notes in Computer Science, page 231-245. Springer, (1980)Parallelism of Manipulations in Multidimensional Information Structures., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 284-293. Springer, (1976)From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 122-146. Springer, (2007)New Concepts of Amalgamation and Extension for a General Theory of Specifications., , and . COMPASS/ADT, volume 655 of Lecture Notes in Computer Science, page 199-221. Springer, (1991)Introduction to the Algebraic Theory of Graph Grammars (A Survey).. Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, page 1-69. Springer, (1978)Locally Star Sluing Formulas for a Class of Parallel Graph Grammars., and . Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, page 206-223. Springer, (1978)Stepwise Specification and Implementation of Abstract Data Types., , and . ICALP, volume 62 of Lecture Notes in Computer Science, page 205-226. Springer, (1978)Algebraic Specifications with Generating Constraints., , and . ICALP, volume 154 of Lecture Notes in Computer Science, page 188-202. Springer, (1983)Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs., , and . Unifying Petri Nets, volume 2128 of Lecture Notes in Computer Science, page 230-249. Springer, (2001)The Construct PRO of Projection Spaces: Its Internal Structure., and . Categorial Methods in Computer Science, volume 393 of Lecture Notes in Computer Science, page 286-293. Springer, (1988)