Old Web
English
Sign In
Acemap
>
Paper
>
Logics for Concurrency
Logics for Concurrency
1996
Faron Moller
Graham M. Birtwistle
Keywords:
Parallel computing
Non-lock concurrency control
Concurrency
Mathematics
Computer science
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
94
Citations
NaN
KQI
[]