OBJECTS IN THE PI-CALCULUS
UNSPECIFIED. (1995) OBJECTS IN THE PI-CALCULUS. INFORMATION AND COMPUTATION, 116 (2). pp. 253-271. ISSN 0890-5401Full text not available from this repository.
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|
|Official Date:||1 February 1995|
|Number of Pages:||19|
|Page Range:||pp. 253-271|
Actions (login required)