620 search results - page 1 / 124 » Decidability Problems for Actor Systems |
CONCUR
2012
Springer
11 years 7 months ago
2012
Springer
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
IAT
2007
IEEE
13 years 11 months ago
2007
IEEE
Policy making is a multi-actor process: it involves a variety of actors, each trying to further their own interests. How these actors decide and act largely depends on the way the...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
HYBRID
2001
Springer
13 years 9 months ago
2001
Springer
IJFCS
2008
13 years 4 months ago
2008
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...