19 citations · 51 across the 10 of their papers we have counts for
1 paper · 1 filter
Laura Bocchi, Julien Lange, Simon Thompson +1
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/st…