54 citations · 312 across the 36 of their papers we have counts for
1 paper · 2 filters
Eric Goubault, Samuel Mimram
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe…