The Name-Passing Calculus
Logic in Computer Science
2015-08-04 v1
Abstract
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 pragmatics. The diversity of these results call for clarification and reorganization. This paper applies a model independent approach to the study of the name-passing calculi, leading to a uniform treatment and simplification. The technical tools and the results presented in the paper form the foundation for a theory of name-passing calculus.
Cite
@article{arxiv.1508.00093,
title = {The Name-Passing Calculus},
author = {Yuxi Fu and Han Zhu},
journal= {arXiv preprint arXiv:1508.00093},
year = {2015}
}