7992 search results - page 458 / 1599 » Communication Abstractions for Distributed Systems |
130
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
137
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
123
click to vote
FUIN
2002
15 years 4 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
134
click to vote
GCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Workflow is an important approach for the specification and management of complex processing tasks. This approach is especially powerful for utilizing distributed service...
129
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...