A truly concurrent semantics for a process algebra using resource pomsets

Paul Gastin, Michael W. Mislove. A truly concurrent semantics for a process algebra using resource pomsets. Theoretical Computer Science, 281(1-2):369-421, 2002. [doi]

Abstract

Abstract is missing.