<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Report CS-RR-275

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

Tomasz Janowski, Stepwise Transformations for Fault-Tolerant Design of CCS Processes (December 1, 1994).

Abstract

This paper provides an approach to the formal design of distributed, fault-tolerant processes, using the language of CCS and the theory of bisimulations. The novel feature of the method is the language by which hypotheses about faults can be specified and also combined. The development of a fault-tolerant process, under a fault hypothesis, makes use of the structure of this hypothesis. This allows to first design a process which does not tolerate any faults and then to stepwise transform this process to tolerate an increasing variety of faults. We illustrate this approach designing a protocol which ensures a reliable transmission for weak assumptions about the faults of the underlying medium.

Download

cs-rr-275.ps.gz

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>