The Library
Partial confluence of processes and systems of objects
Tools
UNSPECIFIED (1998) Partial confluence of processes and systems of objects. THEORETICAL COMPUTER SCIENCE, 206 (1-2). pp. 127-162. ISSN 0304-3975.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
A process calculus extending the pi-calculus with higher-order agent abstractions as in the Higher-Order Ti-calculus and first-order data other than names but with only first-order interaction is used to give a natural and direct semantic definition for a concurrent object-oriented programming language. A notion of partial confluence of agents is introduced and its theory developed, first in the setting of CCS and then in the mobile-process calculus. It is shown how the semantic definition can be used as a basis for reasoning about systems prescribed by programs of the language: the theory of partial confluence is used to prove the indistinguishability in an arbitrary program context of two classes whose instances combine to form data structures only one of which supports concurrent operations. (C) 1998-Elsevier Science B.V. All rights reserved.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Journal or Publication Title: | THEORETICAL COMPUTER SCIENCE | ||||
Publisher: | ELSEVIER SCIENCE BV | ||||
ISSN: | 0304-3975 | ||||
Official Date: | 6 October 1998 | ||||
Dates: |
|
||||
Volume: | 206 | ||||
Number: | 1-2 | ||||
Number of Pages: | 36 | ||||
Page Range: | pp. 127-162 | ||||
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 |