dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Walker, D. | en |
dc.contributor.editor | Smolka S.A. | en |
dc.contributor.editor | Lee I. | en |
dc.creator | Philippou, Anna | en |
dc.creator | Walker, D. | en |
dc.date.accessioned | 2019-11-13T10:42:01Z | |
dc.date.available | 2019-11-13T10:42:01Z | |
dc.date.issued | 1995 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54852 | |
dc.description.abstract | The relationship between sharing and determinacy in concurrent systems is studied. Syntactic conditions on programs of a concurrent object language are isolated and it is established, on the basis of two different semantic definitions of the language, that they guarantee determinacy, indeed confluence. The first semantic definition is an operational semantics in which a program is interpreted as a labelled transition system whose points represent configurations of systems of objects. The second definition is by translation to a general process-calculus model of systems with dynamically-evolving structure. © 1995, Springer Verlag. All rights reserved. | en |
dc.source | 6th International Conference on Concurrency Theory, CONCUR 1995 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84947803624&partnerID=40&md5=70205705380caaeeb9af4c6f27d7bd13 | |
dc.subject | Calculations | en |
dc.subject | Semantics | en |
dc.subject | Operational semantics | en |
dc.subject | Computational linguistics | en |
dc.subject | Process calculi | en |
dc.subject | Concurrent systems | en |
dc.subject | Concurrent objects | en |
dc.subject | Labelled transition systems | en |
dc.subject | Model of systems | en |
dc.title | On sharing and determinacy in concurrent systems | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 962 | |
dc.description.startingpage | 456 | |
dc.description.endingpage | 470 | |
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>Sponsors: | en |
dc.description.notes | Conference code: 146379 | en |
dc.description.notes | Cited By :3</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |