UNSPECIFIED (1995) OBJECTS IN THE PI-CALCULUS. INFORMATION AND COMPUTATION, 116 (2). pp. 253-271. ISSN 0890-5401

Full text not available from this repository.

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. (C) 1995 Academic Press, Inc.

Item Type:	Journal Article
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software Q Science > QA Mathematics
Journal or Publication Title:	INFORMATION AND COMPUTATION
Publisher:	ACADEMIC PRESS INC JNL-COMP SUBSCRIPTIONS
ISSN:	0890-5401
Date:	1 February 1995
Volume:	116
Number:	2
Number of Pages:	19
Page Range:	pp. 253-271
Publication Status:	Published
URI:	http://wrap.warwick.ac.uk/id/eprint/20014

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item