Concurrent Nets: A Study of Prefixing in Process Calculi

Emmanuel Beffara, François Maurel. Concurrent Nets: A Study of Prefixing in Process Calculi. Electronic Notes in Theoretical Computer Science, 128(2):67-86, 2005. [doi]

Abstract

Abstract is missing.