Concurrent nets: A study of prefixing in process calculi

Emmanuel Beffara, François Maurel. Concurrent nets: A study of prefixing in process calculi. Theoretical Computer Science, 356(3):356-373, 2006. [doi]

Abstract

Abstract is missing.