Specifying and refining internal operations in \(Z\) (Q1272761)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specifying and refining internal operations in \(Z\)
scientific article

    Statements

    Specifying and refining internal operations in \(Z\) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    9 March 1999
    0 references
    specification of distributed systems
    0 references

    Identifiers