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