Thread algebra for strategic interleaving (Q2461536): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q190306
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Jan A. Bergstra / rank
 
Normal rank

Revision as of 18:36, 10 February 2024

scientific article
Language Label Description Also known as
English
Thread algebra for strategic interleaving
scientific article

    Statements

    Thread algebra for strategic interleaving (English)
    0 references
    0 references
    0 references
    28 November 2007
    0 references
    Threads
    0 references
    Multi-threading
    0 references
    Thread algebra
    0 references
    Interleaving strategies
    0 references
    Services
    0 references
    Deadlock freedom
    0 references

    Identifiers