| | |
| | |
Stat |
Members: 3667 Articles: 2'599'751 Articles rated: 2609
07 February 2025 |
|
| | | |
|
Article overview
| |
|
The Name-Passing Calculus | Yuxi Fu
; Han Zhu
; | Date: |
1 Aug 2015 | 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. | Source: | arXiv, 1508.0093 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
|
| |
|
|
|