The Library
Objects in the Pi-calculus
Tools
Tools
Tools
Walker, David (1992) Objects in the Pi-calculus. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-217.pdf - Other - Requires a PDF viewer. Download (13Mb) | Preview |
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.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Object-oriented programming (Computer science) -- Semantics, Parallel programming (Computer science) -- Semantics, Pi-calculus | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | April 1992 | ||||
| Dates: |
|
||||
| Number: | Number 217 | ||||
| Number of Pages: | 34 | ||||
| DOI: | CS-RR-217 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Reuse Statement (publisher, data, author rights): | D.J. Walker, “Objects in the Pi-Calculus”, <i>Information and Computation</i> <b>116</b>(2), pp. 253-271 (1995) | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
