43 search results - page 3 / 9 » concur 2008 |
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified beh...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...