Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
scientific article

    Statements

    Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (English)
    0 references
    0 references
    14 January 2011
    0 references
    MPI
    0 references
    formal specification
    0 references
    TLA+
    0 references
    model checking
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers