Year | DOI | Venue |
---|---|---|
2011 | 10.1109/MEMCOD.2011.5970518 | MEMOCODE |
Keywords | Field | DocType |
concurrency control,formal verification,resource allocation,synchronisation,system recovery,concurrent system,deadlock detection,memory footprint,model checking,resource sharing,synchronization | Model checking,Concurrency control,Computer science,Concurrency,Deadlock,Theoretical computer science,Real-time computing,Deadlock prevention algorithms,Memory footprint,State space,Distributed computing,Formal verification | Conference |
Citations | PageRank | References |
4 | 0.44 | 24 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Saddek Bensalem | 1 | 1242 | 106.13 |
Andreas Griesmayer | 2 | 288 | 17.58 |
Axel Legay | 3 | 2982 | 181.47 |
Nguyen Thanh-Hung | 4 | 232 | 11.95 |
Doron Peled | 5 | 3357 | 273.18 |