9 citations · 29 across the 14 of their papers we have counts for
1 paper · 2 filters
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…