Year | DOI | Venue |
---|---|---|
1984 | 10.1145/2993.357245 | ACM Trans. Program. Lang. Syst. |
Keywords | Field | DocType |
concurrent systems,temporal logic,proving failure-free properties,operating system | Synchronization,Programming language,Temporal logic of actions,Semaphore,Computer science,Unix,Theoretical computer science,Formalism (philosophy),Modula,Temporal logic,Computation | Journal |
Volume | Issue | ISSN |
6 | 2 | 0164-0925 |
Citations | PageRank | References |
6 | 0.64 | 7 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Richard Alan Karp | 1 | 14 | 6.47 |