Computing the reveals relation in occurrence nets

Stefan Haar, Christian Kern, Stefan Schwoon. Computing the reveals relation in occurrence nets. Theoretical Computer Science, 493:66-79, 2013. [doi]

Abstract

Abstract is missing.