ON TRANSFORMATIONS OF CONCURRENT-OBJECT PROGRAMS

Authors
PHILIPPOU A WALKER D
Citation
A. Philippou et D. Walker, ON TRANSFORMATIONS OF CONCURRENT-OBJECT PROGRAMS, Theoretical computer science, 195(2), 1998, pp. 259-289
Citations number
28
Categorie Soggetti
Computer Science Theory & Methods","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
195
Issue
2
Year of publication
1998
Pages
259 - 289
Database
ISI
SICI code
0304-3975(1998)195:2<259:OTOCP>2.0.ZU;2-9
Abstract
Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent-object languages a re given. Their correctness is proved on the basis of a semantic defin ition by translation to an extension of the pi-calculus. The main theo retical development concerns the notions of confluence and partial con fluence of processes. (C) 1998-Elsevier Science B.V. All rights reserv ed.