Abstract | ||
---|---|---|
Michael Fischer has proposed a mutual exclusion algorithm that ingeniously exploits real time. We prove this algorithm using the time-honored technique of establishing an appropriate invariant. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1142/S012962649600025X | Parallel Processing Letters |
Keywords | Field | DocType |
real-time,formal veriþcation,mutual exclusion,real time,formal verification | Formal language,Invariant (physics),Computer science,Critical section,Algorithm,Exploit,Invariant (mathematics),Artificial intelligence,Mutual exclusion,Formal verification,Distributed computing | Journal |
Volume | Issue | Citations |
6 | 2 | 1 |
PageRank | References | Authors |
1.03 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. ALLEN CARRUTH | 1 | 1 | 1.03 |
Jayadev Misra | 2 | 3147 | 771.78 |