A tactic language for refinement of state-rich concurrent specifications (Q541214)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A tactic language for refinement of state-rich concurrent specifications
scientific article

    Statements

    A tactic language for refinement of state-rich concurrent specifications (English)
    0 references
    0 references
    0 references
    0 references
    6 June 2011
    0 references
    concurrency
    0 references
    refinement calculus
    0 references
    tactics
    0 references
    control law diagrams
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers