Today's Internet services are often expected to stay available and render high
responsiveness even in the face of site crashes and network partitions. Theoretical results …

Our increasing dependence on complex and critical information infrastructures and the
emerging threat of sophisticated attacks, ask for extended efforts to ensure the correctness …

The Lamport diagram is a pervasive and intuitive tool for informal reasoning about “happens-
before” relationships in a concurrent system. However, traditional axiomatic formalizations of …

This paper describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …

Non-repudiation protocols are aimed at exchanging digital messages and irrefutable
receipts between two mistrusting parties over the Internet, which form the cornerstones of …

The increasing commercialization and massive deployment of radio frequency identification
(RFID) systems has raised many security related issues which in return evokes the need of …

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 …

This article describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …

Distributed programs are known to be extremely difficult to implement, test, verify, and
maintain. This is due in part to the large number of possible unforeseen interactions among …

Distributed programs are known to be extremely difficult to implement, test, verify, and
maintain. This is due in part to the large number of possible unforeseen interactions among …