477 search results - page 6 / 96 » Concurrent Pattern Calculus |
142
Voted
IJCAI
1997
15 years 3 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
134
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
115
Voted
AAAI
1992
15 years 3 months ago
1992
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
102
Voted
WRLA
2010
15 years 6 days ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
