Four papers accepted at CONCUR

A whopping four papers, submitted by members of the FSA group, have been accepted for publication in this year’s CONCUR edition in Antwerp. Bas Luttik and Myrthe Spronck have a paper on multi-writer, multi-reader non-atomic registers; Jan Friso Groote and Jan Martens have a paper on the complexity of computing minimal distinguishing HML formulae; Flip van Spaendonck and Tim Willemse have a paper on the relation between stable failures refinement and conformance testing; and Jan Friso Groote and Tim Willemse have a paper on systems of real-valued fixpoint equations and techniques for solving these.