1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
This paper describes a way to formally specify the behaviour of concurrent data structures. When specifying concurrent data structures, the main challenge is to make specifications…