pith. sign in

arxiv: 1508.00093 · v1 · pith:XZ4IEGFHnew · submitted 2015-08-01 · 💻 cs.LO

The Name-Passing Calculus

Yuxi Fu , Han Zhu This is my paper
classification 💻 cs.LO
keywords name-passingresultscalculicalculusmodelsappliesapproachcall
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Unifying Approach to Probabilistic Testing Equivalences

    cs.LO 2025-07 unverdicted novelty 6.0

    A unifying framework for probabilistic testing equivalences is introduced via distribution-based semantics and process predicates, yielding internal and external characterizations that generalize classical fair/should...