12 citations · 24 across the 7 of their papers we have counts for
1 paper · 1 filter
Yuxi Fu
A universal process of a process calculus is one that, given the Gödel index of a process of a certain type, produces a process equivalent to the encoded process. This paper demons…