Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-319-02444-8_21 | ATVA |
Field | DocType | Citations |
Separation logic,Programming language,Lock (computer science),Concurrency,Computer science,Deadlock,Correctness,Thread (computing),Formalism (philosophy),Deadlock prevention algorithms,Distributed computing | Conference | 2 |
PageRank | References | Authors |
0.38 | 32 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Duy-Khanh Le | 1 | 12 | 1.92 |
Wei-Ngan Chin | 2 | 868 | 63.37 |
Yong Meng Teo | 3 | 564 | 54.77 |