13 citations · 52 across the 27 of their papers we have counts for
1 paper · 1 filter
Brijesh Dongol, John Derrick
The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components modify and observe the system state with fine-grained atomicity. Many sys…