A brief review of the Internet history reveals the fact that the Internet evolved after the
formation of primarily independent networks. Similarly, interconnected clouds, also called …

The rise of mobile computing platforms has given rise to a new class of applications: mobile
applications that interact with peer applications running on neighbouring phones …

Fault-tolerant distributed systems often contain complex error handling code. Such code is
hard to test or model-check because there are often too many possible failure scenarios to …

In this paper we present a seamless approach to writing and compiling distributed code. By
“seamless” we mean that the syntax and semantics of the distributed program remain the …

Declassification and endorsement can efficiently improve the usability of mobile
applications. However, both declassify and endorse operations in practice are often ad‐hoc …

The π-calculus is a widely used process calculus, which models communications between
processes and allows the passing of communication links. Various operational semantics of …

In distributed computing, location transparency—the decoupling of objects from their
physical location—is desirable in that it can simplify application development and enables …

We identify two important features to enhance the design of communication protocols
specified in the pi-calculus, that are linear and static channels, and present a compiler …

A universal process of a process calculus is one that, given the Gödel index of a process of a
certain type, produces a process equivalent to the encoded process. This paper …

Decentralization of grid systems plays an important role in improving their efficiency and
fault tolerance. To enhance the performance and stability of grid and mitigate the problems …