12 citations · 12 across the 1 of their papers we have counts for
1 paper
Yuxi Fu, Han Zhu
Name-passing calculi are foundational models for mobile computing. Research into these models has produced a wealth of results ranging from relative expressiveness to programming p…