Verifying a distributed list system: A case history (Q1355754)

From MaRDI portal
Revision as of 04:03, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Verifying a distributed list system: A case history
scientific article

    Statements

    title
    Verifying a distributed list system: A case history (English)
    0 references
    DOI
    10.1007/BF01212527
    0 references
    author
    Stein Krogdahl
    0 references
    Olav Lysne
    0 references
    publication date
    28 May 1997
    0 references
    zbMATH DE Number
    1014243
    0 references
    zbMATH Keywords
    caching protocol
    0 references
    shared memory parallel computers
    0 references
    describes a project that uses
    LARCH
    0 references
    OBJ3
    0 references
    NQTHM
    0 references
    UNITY
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1355754&oldid=26171942"
    Powered by MediaWiki