The Library
OBJECTS IN THE PI-CALCULUS
Tools
UNSPECIFIED (1995) OBJECTS IN THE PI-CALCULUS. INFORMATION AND COMPUTATION, 116 (2). pp. 253-271. ISSN 0890-5401.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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 | ||||
Official Date: | 1 February 1995 | ||||
Dates: |
|
||||
Volume: | 116 | ||||
Number: | 2 | ||||
Number of Pages: | 19 | ||||
Page Range: | pp. 253-271 | ||||
Publication Status: | Published |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |