This paper presents Atomic RMI, a distributed transactional memory framework that supports
the control flow model of execution. Atomic RMI extends Java RMI with distributed …

Next-generation Grid applications will be highly heterogeneous in nature, will run on many
types of computer and device, will operate within and across many heterogeneous network …

Transaction Memory (TM) is a concurrency control abstraction that allows the programmer to
specify blocks of code to be executed atomically as transactions. However, since …

In this paper, we study dynamic protocol update (DPU). Contrary to local code updates on-
the-fly, DPU requires global coordination of local code replacements. We propose a novel …

In this paper we design a language and runtime support for isolation-only, multithreaded
transactions (called tasks). Tasks allow isolation to be declared instead of having to be …

Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in
Communicating Systems Page 1 Language Design for Atomicity, Declarative …

We propose a novel approach to the composition of group communication protocols. In this
approach, components are modelled as finite state machines communicating via signals …

Replacing or adding network protocols at runtime is problematic–it must involve
synchronization of the protocol switch with ongoing local and network communication. We …

Mobile nets arise as a combination of the name managing techniques of the π-calculus with
the representation of concurrency and locality of Petri nets. We propose MagNet s, a variant …

Group communication is a programming abstraction that allows a distributed group of
processes to provide a reliable service in spite of the possibility of failures within the group …