dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Walker, D. | en |
dc.creator | Philippou, Anna | en |
dc.creator | Walker, D. | en |
dc.date.accessioned | 2019-11-13T10:42:00Z | |
dc.date.available | 2019-11-13T10:42:00Z | |
dc.date.issued | 1998 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54847 | |
dc.description.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 π-calculus. The main theoretical development concerns the notions of confluence and partial confluence of processes. © 1998 -Elsevier Science B.V. All rights reserved. | en |
dc.source | Theoretical Computer Science | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0001274327&partnerID=40&md5=97eccb3f3a2a6e3b8d0b73259b027f22 | |
dc.title | On transformations of concurrent-object programs | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 195 | |
dc.description.issue | 2 | |
dc.description.startingpage | 259 | |
dc.description.endingpage | 289 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :4</p> | en |
dc.source.abbreviation | Theor.Comput.Sci. | en |