4385 search results - page 47 / 877 » Abstraction for Concurrent Objects |
89
Voted
CONCURRENCY
2007
14 years 10 months ago
2007
e is used to compose Grid applications from abstract application components that are mapped against available Grid services by the component framework at runtime. key words: compon...
CSL
1992
Springer
15 years 2 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
ESOP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
RELMICS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...