Showing 1 - 1 results of 1 for search '(("concurrent/parallel processes") OR ("concurrent/parallel process"))', query time: 0.08s Refine Results
  1. 1
    Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes

    Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes by Libero Nigro, Franco Cicirelli

    Published 2025-04-01
    Subjects: “…concurrent/parallel processes…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: