No abstract

No abstract

The Actor model and 71"-calculus have served as the basis of a large body of research on concurrency. We represent the Actor model as a typed asynchronous 71"-calculus, called A1r. 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 A1r and give a trace based characterization of it. Such a characterization simplifies reasoning about actor configurations as it does not involve quantification over all environments. We compare our characterization with that of asynchronous 71"-calculus, and highlight the differences that arise due to actor properties.

No abstract

No abstract