Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-217.pdf - Other - Requires a PDF viewer.

Download (13Mb) | Preview

Request Changes to record.

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:
DateEvent
April 1992Completion
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.&nbsp;Walker, &ldquo;Objects in the Pi-Calculus&rdquo;, <i>Information and Computation</i> <b>116</b>(2), pp.&nbsp;253-271 (1995)
Related URLs:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us