6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Emmanuel Beffara
This paper presents a logical approach to the translation of functional calculi into concurrent process calculi. The starting point is a type system for the π-calculus closely rela…