The Library
On transformations of concurrent-object programs
Tools
Tools
Tools
UNSPECIFIED (1998) On transformations of concurrent-object programs. In: 7th International Conference on Concurrency Theory (CONCUR 96), AUG 26-29, 1996, PISA, ITALY.
Full text not available from this repository.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 |
| Date: | 30 March 1998 |
| 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 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/15936 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
