620 search results - page 7 / 124 » Decidability Problems for Actor Systems |
171
Voted
ENTCS
2008
15 years 6 months ago
2008
Yi and Sakai [9] showed that the termination problem is a decidable property for the class of semi-constructor term rewriting systems, which is a superclass of the class of right ...
153
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
141
Voted
CSR
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
214
Voted
DNA
2007
Springer
16 years 16 days ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
168
Voted
EEMMAS
2007
Springer
16 years 16 days ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...