1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2016
Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom, Marieke Huisman
Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software…
cs.LO2012★ 1 cited
A History of BlockingQueues
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…