Show simple item record

dc.contributor.authorBanach, Richarden
dc.contributor.authorPapadopoulos, George Angelosen
dc.creatorBanach, Richarden
dc.creatorPapadopoulos, George Angelosen
dc.date.accessioned2019-11-13T10:38:24Z
dc.date.available2019-11-13T10:38:24Z
dc.date.issued1995
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53605
dc.description.abstractThe generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process calculus' and on which the design of a number of languages can be based. It is then shown how this fragment can be mapped onto equivalent sets of graph rewriting rules that both preserve the functionality of the LL connectives and also exploit the properties of linearity for efficient implementation on a distributed architecture. Notions such as channels, production and consumption of messages, and N-to-N communication between agents, are interpreted in the world of (term) graph rewriting. This work serves two purposes: i) to extend the notion of Term Graph Rewriting as a generalized computational model for the case of linear concurrent languages, and ii) to act as an initial investigation towards a fully linear term graph rewriting model of computation able to be implemented efficiently on distributed architectures.en
dc.publisherACMen
dc.sourceProceedings of the ACM Symposium on Applied Computingen
dc.sourceProceedings of the 1995 ACM Symposium on Applied Computingen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0029190202&partnerID=40&md5=c9a53f71c2f5eee190c5b2f42a118844
dc.subjectMathematical modelsen
dc.subjectComputational methodsen
dc.subjectLinear programmingen
dc.subjectComputer architectureen
dc.subjectGraph theoryen
dc.subjectComputer programming languagesen
dc.subjectLogic programmingen
dc.subjectLinear concurrent programmingen
dc.subjectTerm graph rewriting (TGR) systemen
dc.titleLinear behaviour of term graph rewriting programsen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.description.startingpage157
dc.description.endingpage163
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notes<p>Conference code: 43729en
dc.description.notesCited By :5</p>en
dc.contributor.orcidPapadopoulos, George Angelos [0000-0001-9250-4916]


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