Skip to main content

1 Result(s)

within Frank Hermann Remove this filter Mathematics Remove this filter

and

  1. No Access

    Article

    Subobject Transformation Systems

    Subobject transformation systems STS are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pushout (DPO) approach. They can be consid...

    Andrea Corradini, Frank Hermann, Paweł Sobociński in Applied Categorical Structures (2008)