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

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

D.J. Walker, Objects in the Pi-calculus (April 1, 1992).

Abstract

Two semantics for a parallel object-oriented programming language are presented. One is a two-level transitional semantics in which the global behaviour of a system is derived directly from the possible actions of its constituent objects. The other is by translation into the pi-calculus. A close correspondence between the semantics is established.

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

D.J. Walker, "Objects in the Pi-Calculus", Information and Computation 116(2), pp. 253-271 (1995)

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