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

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

D.J. Walker, Process Calculus and Parallel Object-oriented Programming Languages (April 1, 1993).

Abstract

Techniques for giving simple accounts of the semantics of parallel object-oriented programming languages are illustrated through a study of the language pobl. A two-level operational semantics is given in which the global transitions of a configuration are derived in a simple way from labelled transitions describing the possible actions of its constituent objects. A second semantics by translation to a fragment of the Higher-Order pi-calculus is presented. A close correspondence between the semantics is described.

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

D. Walker, "Process Calculus and Parallel Object-Oriented Programming Languages", Parallel Computers: Theory and Practice, ed. T. Casavant, P. Tvrdik and F. Plasil, IEEE Computer Society Press, pp. 369-390 (1995)

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