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

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

Xinxin Liu and D.J. Walker, Confluence of Processes and Systems of Objects (October 1, 1994).

Abstract

An extension to the theory of confluence in the process calculus CCS is presented. The theory is generalized to an extension of the 9-calculus. This calculus is used to provide semantics by translation for a parallel object-oriented programming language. The confluence theory is applied to prove the indistinguishability in an arbitrary program context of two class definitions which generate binary tree data structures one of which allows concurrent operations.

<%@ include file="cited.html" %>

X. Liu and D. Walker, "Confluence of Processes and Systems of Objects", Proceedings of Theory and Practice of Software Development, Aarhus, May 1995, Lecture Notes in Computer Science 915, Springer-Verlag, pp. 217-231 (1995)

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