|
|||||
|
|
Commutation relations of slices characterize some synchronization primitives |
|
| Authors: | Danny Dolev Eliahu Shamir |
| Affiliation: | Mathematics Department, The Weizmann Institute of Science, Rehovot, Israel;Hebrew University, Jerusalem, Israel |
| Abstract: | |
| Keywords: | Concurrent processes process synchronization semaphores |
| 本文献已被 ScienceDirect 等数据库收录！ | |