A Theory of May Testing for Actors

  title={A Theory of May Testing for Actors},
  author={Prasanna Thati and Reza Ziaei and Gul A. Agha},
The Actor model and π-calculus have served as the basis of a large body of research on concurrency. We represent the Actor model as a typed asynchronous π-calculus, called Aπ. The type system imposes a certain discipline on the use of names to capture actor properties such as uniqueness and persistence. We investigate the notion of may testing in Aπ and give a trace based characterization of it. Such a characterization simplifies reasoning about actor configurations as it does not involve… CONTINUE READING

From This Paper

Topics from this paper.


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

A theory of may testing for asynchronous languages

R. Pugliese M. Boreale, R. De Nicola
In Foundations of Software Science and Computation Structures, • 1999
View 12 Excerpts
Highly Influenced

Composable Semantic Models for Actor Theories

TACS • 1997
View 4 Excerpts
Highly Influenced

A theory of may testing for Aπ

Prasanna Thati, Reza Ziaei, Gul Agha
Technical Report UIUCDCS-R-2001-2207, • 2001
View 3 Excerpts

An alternate characterization of may testing for Lπ

Prasanna Thati, Reza Ziaei, Gul Agha
Technical Report UIUCDCS-R-2001-2256, • 2001
View 1 Excerpt

Typing concurrent objects and actors

F.Dagnat, M.Pantel, M.Colin, P.Sallé
In L’Objet – Methodes formelles pour les objets (L’OBJET), • 2000
View 1 Excerpt

Safety analysis for non-uniform service availability in actors

J-L.Colaço, M.Pantel, F.Dagnat, P.Sallé
In Formal Methods for Open Object-based Distributed Systems, • 1999
View 1 Excerpt

Similar Papers

Loading similar papers…