Show simple item record

On transformations of concurrent object programs

dc.contributor.authorPhilippou, Annaen
dc.contributor.authorWalker, D.en
dc.contributor.editorMontanari U.en
dc.contributor.editorSassone V.en
dc.creatorPhilippou, Annaen
dc.creatorWalker, D.en
dc.date.accessioned2019-11-13T10:42:01Z
dc.date.available2019-11-13T10:42:01Z
dc.date.issued1996
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54851
dc.description.abstractTransformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by translation to a mobile-process calculus. The main theoretical development concerns the notions of confluence and partial confluence. © Springer-Verlag Berlin Heidelberg 1996.en
dc.source7th International Conference on Concurrency Theory, CONCUR 1996en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84955566588&partnerID=40&md5=3fdc812df5208ab4f7ef3a2e80857e50
dc.subjectCalculationsen
dc.subjectSemanticsen
dc.subjectConcurrent objectsen
dc.subjectConcurrent activitiesen
dc.subjectMobile process calculien
dc.subjectTheoretical developmenten
dc.subjectTransformation rulesen
dc.titleOn transformations of concurrent object programsen
dc.typeinfo:eu-repo/semantics/article
dc.description.volume1119
dc.description.startingpage131
dc.description.endingpage146
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors:en
dc.description.notesConference code: 148549en
dc.description.notesCited By :7</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record