12 citations · 24 across the 7 of their papers we have counts for
1 paper · 1 filter
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…