Now showing items 1-1 of 1

  • Generic refinements for behavioral specifications 

    Petria, Marius (The University of Edinburgh, 2011)
    This thesis investigates the properties of generic refinements of behavioral specifications. At the base of this investigation stands the view from algebraic specification that abstract data types can be modeled as ...