Closed action calculi

• 1 October 1999
• journal article
• Published by Elsevier in Theoretical Computer Science
• Vol. 228  (1-2) , 77-103
• https://doi.org/10.1016/s0304-3975(98)00355-7

Abstract

Keywords

• ACTION CALCULI
• NAMES
• COMBINATORIC ACCOUNT