Simulation, reduction and preservation of correctness properties of parallel systems (Q1054477)

From MaRDI portal
Revision as of 19:28, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)





scientific article
Language Label Description Also known as
English
Simulation, reduction and preservation of correctness properties of parallel systems
scientific article

    Statements

    Simulation, reduction and preservation of correctness properties of parallel systems (English)
    0 references
    0 references
    1983
    0 references
    models of computation
    0 references
    simulation
    0 references
    reduction
    0 references
    correctness of parallel systems
    0 references
    parallel computation systems
    0 references

    Identifiers