Academic Articles & Research Papers

Structural theory of distributed systems

Contracts in distributed systems

We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calcul...

Scheduling in Distributed Systems

Local and temporal predicates in distributed systems

The definitions of the predicates Possibly φ and Definitely φ, where φ is a global predicate of a distributed computation, lead to the definitions of two predicate transformers P and D . We show that P plays the same role with respect to ti...

Guide to Reliable Distributed Systems

Distributed Systems and Networks

This book provides the student with comprehensive coverage of both networks and system architecture. It aims to introduce the most widely used networking protocols and distributed systems, covering recent developments in distributed process...

Ponder: A Language for Specifying Security and Management Policies for Distributed Systems

This document defines a declarative, object-oriented language for specifying policies for the security and management of distributed systems. The language includes constructs for specifying the following basic policy types: authorisation po...

Distributed systems (3rd ed.): concepts and design

Unreliable failure detectors for reliable distributed systems

We introduce the concept of unreliable failure detectors and study how they can be used to solve Consensus in asynchronous systems with crash failures. We characterise unreliable failure detectors in terms of two properties—completeness and...

Cooperative load balancing in distributed systems

Abstract A serious difficulty in concurrent programming of a distributed system is how to deal with scheduling and load balancing of such a system which may consist of heterogeneous computers. In this paper, we formulate the static load‐bal...

Parallel and Distributed Systems

This installment of Computer’s series highlighting the work published in IEEE Computer Society journals comes from IEEE Transactions on Parallel and Distributed Systems....

Highly-Distributed Systems

Distributed System

Sensors and Controls in the Analysis of Distributed Systems

The object of this book is to present the principal results in the analysis of distributed parameter systems, which are concerned with the structure of input-output operators, i.e. actuators and sensors.We have adopted an approach via semig...

Epidemic information dissemination in distributed systems

Easy to deploy, robust, and highly resilient to failures, epidemic algorithms are a potentially effective mechanism for propagating information in large peer-to-peer systems deployed on Internet or ad hoc networks. It is possible to adjust ...

Principles of Distributed Systems

Optimal Control of Spatially Distributed Systems

In this paper, we study the structural properties of optimal control of spatially distributed systems. Such systems consist of an infinite collection of possibly heterogeneous linear control systems that are spatially interconnected via cer...

D 3 S: debugging deployed distributed systems

Testing large-scale distributed systems is a challenge, because some errors manifest themselves only after a distributed sequence of events that involves machine and network failures. D³S is a checker that allows developers to specify predi...

Dynamics and Control of Distributed Systems

Distributed parameter systems encompass a broad range of engineering applications from stereo speakers to space structures. The dynamic behaviour of these systems is usually governed by one or more partial differential equations, which may ...

On Observability and Monitoring of Distributed Systems – An Industry Interview Study