The Library
On transformations of concurrent-object programs
Tools
UNSPECIFIED (1998) On transformations of concurrent-object programs. In: 7th International Conference on Concurrency Theory (CONCUR 96), PISA, ITALY, AUG 26-29, 1996. Published in: THEORETICAL COMPUTER SCIENCE, 195 (2). pp. 259-289. 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
Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent-object languages are given. Their correctness is proved on the basis of a semantic definition by translation to an extension of the pi-calculus. The main theoretical development concerns the notions of confluence and partial confluence of processes. (C) 1998-Elsevier Science B.V. All rights reserved.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
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: | 30 March 1998 | ||||
Dates: |
|
||||
Volume: | 195 | ||||
Number: | 2 | ||||
Number of Pages: | 31 | ||||
Page Range: | pp. 259-289 | ||||
Publication Status: | Published | ||||
Title of Event: | 7th International Conference on Concurrency Theory (CONCUR 96) | ||||
Location of Event: | PISA, ITALY | ||||
Date(s) of Event: | AUG 26-29, 1996 |
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 |