rCOS: a refinement calculus of object systems (Q854169)

From MaRDI portal





scientific article; zbMATH DE number 5079007
Language Label Description Also known as
English
rCOS: a refinement calculus of object systems
scientific article; zbMATH DE number 5079007

    Statements

    rCOS: a refinement calculus of object systems (English)
    0 references
    0 references
    0 references
    0 references
    7 December 2006
    0 references
    object orientation
    0 references
    refinement
    0 references
    semantics
    0 references
    UTP
    0 references

    Identifiers