CCS with priority guards

Iain Phillips. CCS with priority guards. Journal of Logic and Algebraic Programming, 75(1):139-165, 2008. [doi]

Abstract

Abstract is missing.