PSL: A semantic domain for flow models

Conrad Bock, Michael Gruninger. PSL: A semantic domain for flow models. Software and Systems Modeling, 4(2):209-231, 2005. [doi]

Abstract

Abstract is missing.