<%@ 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-144

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

Zhiming Liu, A Semantic Model for UNITY (August 1, 1989).

Abstract

This paper develops a semantic model for UNITY that reflects its particular aspects, such as nondeterminism, absence of control flow etc. The proposed model is a kind of state-transition system within which observations and actions are the basic semantic objects. An alternative semantics for UNITY programs based on different fairness conditions is also defined using this model. Specially, the fairness condition assumed in [CM88] is defined and the UNITY logic based on it is modelled to show how the safety and liveness (progress) properties can be represented. This model is beeing used as the basis for developing some formal techniques for fault-tolerance within a UNITY framework.

Download

cs-rr-144.ps.gz

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