<%@ 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-270
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
Tomasz Janowski,
Fault-Tolerant Bisimulation and Process Transformations
(September 1, 1994).
Abstract
We provide three methods of verifying concurrent systems which are
tolerant of faults in their operating environment - algebraic, logical
and transformational. The first is an extension of the bisimulation
equivalence, the second is rooted in the Hennessy-Milner logic, and the
third involves transformations of CCS processes. Based on the common
semantic model of labelled transition systems, which is also used to
model faults, all three methods are proved equivalent for certain classes
of faults.
Download
cs-rr-270.ps.gz
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>