While the actor model of concurrency is well appreciated for its ease of use, its scalability is often criticized. Indeed, the fact that execution within an actor is sequential prevents certain actor systems to take advantage of multicore architectures. In order to combine scalability and ease of use, we propose Parallel Actor Monitors (PAM), as a means to relax the sequentiality of intra-actor...

In this paper we present two actor languages and a semantics preserving translation between them. The source of the translation is a high-level language that provides object-based programming abstractions. The target is a simple functional language extended with basic primitives for actor computation. The semantics preserved is the interaction semantics of actor systems—sets of possible interac...

Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailboxes. The framework uses Scribb...

ly, we may picture an actor with a mail queue on which all . communications are placed in the order in which they arrive and an actor machine8 which points to a particular cell in the mail queue. The end of a communication on the mail queue can be indicated by some special symbol reserved for the purpose.' We represent this pictorially as in Fig. 3.1. When an actor machine Xn accepts the nth co...

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...

In Wireless Sensor & Actor Network (WSAN), sensors are used to sense data from environment and send this to the actor for taking appropriate action. In semi automated architecture data is forwarded to the actor and then to sink. Now a days researchers have proposed to use WSAN for road surveillance which is called as road Sensor and Actor Network (RSAN). There are many algorithms and protocols ...

a:4:{s:9:"Objective";s:459:"Infertility has been ranked as one of the great stressors in life and may adversely affect marital satisfaction. There have been no studies investigating the relationship between perceived stress and marital satisfaction at the dyadic level. This study investigated the effect of actors and partners' perceived stress on marital satisfaction in husband-wife dyads using...

We prove the convergence of an actor/critic algorithm that is equivalent to Q-learning by construction. Its equivalence is achieved by encoding Q-values within the policy and value function of the actor and critic. The resultant actor/critic algorithm is novel in two ways: it updates the critic only when the most probable action is executed from any given state, and it rewards the actor using c...