Hartmut Ehrig

Hartmut Ehrig (born 6 December 1944 in Angermünde; died 17 March 2016) was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Hartmut Ehrig', query time: 0.02s Refine Results
  1. 1
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets by Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König

    Published 2008-10-01
    Get full text
    Article
  2. 2
    Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

    Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories by Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Garbriel, Frank Hermann

    Published 2012-08-01
    Get full text
    Article

Search Tools: