- calculus , internal mobility , and agent-passing calculi

@inproceedings{Antipolis1995C,
  title={- calculus , internal mobility , and agent-passing calculi},
  author={Davide SangiorgiINRIA-Sophia Antipolis},
  year={1995}
}
  • Davide SangiorgiINRIA-Sophia Antipolis
  • Published 1995
The-calculus is a process algebra which originates from CCS and permits a natural modelling of mobility (i.e., dynamic reconngurations of the process linkage) using communication of names. Previous research has shown that the-calculus has much greater expressiveness than CCS, but also a much more complex mathematical theory. The primary goal of this work is to understand the reasons of this gap. Another goal is to compare the expressiveness of name-passing calculi, i.e., calculi like-calculus… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 87 extracted citations

Theory of interaction

Theor. Comput. Sci. • 2016
View 5 Excerpts
Highly Influenced

On the expressiveness of interaction

Theor. Comput. Sci. • 2010
View 6 Excerpts
Highly Influenced

Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi

Mathematical Structures in Computer Science • 2003
View 5 Excerpts
Highly Influenced

: Informatique ) Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement

Président Joseph Sifakis Rapporteurs Sandrine Blazy Giuseppe Sangiorgi
2011
View 7 Excerpts
Highly Influenced

The Name-Passing Calculus

ArXiv • 2010
View 7 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-10 of 15 references

A calculus with explicit substitutions : the latesemantics

U. Montanari G. Ferrari, P. Quaglia.
1994

Dynamic classi cation of action calculi

R. Milner
Handwritten notes, • 1994

Applications of the calculus of trees to processdescription languages

S. Kasangian
1991

Similar Papers

Loading similar papers…