On the Expressive Power of Polyadic Synchronisation in π-calculus

• 1 September 2002
• journal article
• Published by Elsevier in Electronic Notes in Theoretical Computer Science
• Vol. 68  (2) , 15-32
• https://doi.org/10.1016/s1571-0661(05)80361-5

Abstract

Keywords

• ENCODED WEAKLY
• LIMITED FORM
• EXPRESSIVE POWER
• DIVERGENCE-FREE ENCODINGS
• SEPARATION RESULT
• COMMUNICATION MECHANISM
• CHANNEL NAME
• MIXED CHOICE
• POLYADIC SYNCHRONISATION
• CALCULUS