| dc.contributor.author | Banach, Richard | en |
| dc.contributor.author | Papadopoulos, George Angelos | en |
| dc.creator | Banach, Richard | en |
| dc.creator | Papadopoulos, George Angelos | en |
| dc.date.accessioned | 2019-11-13T10:38:24Z | |
| dc.date.available | 2019-11-13T10:38:24Z | |
| dc.date.issued | 1997 | |
| dc.identifier.isbn | 0-89791-850-9 | |
| dc.identifier.isbn | 978-0-89791-850-3 | |
| dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53603 | |
| dc.description.abstract | Two superficially similar graph rewriting formalisms, Interaction Nets and MONSTR, are studied. Interaction Nets come from multiplicative Linear Logic and feature undirected graph edges, while MONSTR arose from the desire to implement generalised Term Graph Rewriting efficiently on a distributed architecture and utilises directed graph arcs. Both formalisms feature rules with small left hand sides consisting of two main graph nodes. A translation of Interaction Nets into MONSTR is described, thus providing an implementation route for the former based on the latter and particularly suited to distributed implementations. © 1997 ACM. | en |
| dc.publisher | Association for Computing Machinery | en |
| dc.source | Proceedings of the ACM Symposium on Applied Computing | en |
| dc.source | 1997 ACM Symposium on Applied Computing, SAC 1997 | en |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84905492827&doi=10.1145%2f331697.332340&partnerID=40&md5=67aa65b4ec04781e28686921314f3409 | |
| dc.subject | Distributed systems | en |
| dc.subject | Distributed architecture | en |
| dc.subject | Distributed implementation | en |
| dc.subject | Computation theory | en |
| dc.subject | Generalised terms | en |
| dc.subject | Interaction nets | en |
| dc.subject | MONSTR | en |
| dc.subject | Multiplicative linear logic | en |
| dc.subject | Term graph rewriting | en |
| dc.subject | Term graph rewriting systems | en |
| dc.title | Implementing interaction nets in MONSTR | en |
| dc.type | info:eu-repo/semantics/conferenceObject | |
| dc.identifier.doi | 10.1145/331697.332340 | |
| dc.description.startingpage | 509 | |
| dc.description.endingpage | 514 | |
| dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
| dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
| dc.type.uhtype | Conference Object | en |
| dc.description.notes | <p>Sponsors: ACM Special Interest Group on Ada Programming Language (SIGAda) | en |
| dc.description.notes | ACM Special Interest Group on Applied Computing (SIGAPP) | en |
| dc.description.notes | ACM Special Interest Group on Biomedical Computing (SIGBIO) | en |
| dc.description.notes | ACM Special Interest Group on Computer Uses In Education (SIGCUE) | en |
| dc.description.notes | Conference code: 106786</p> | en |
| dc.contributor.orcid | Papadopoulos, George Angelos [0000-0001-9250-4916] | |
| dc.gnosis.orcid | 0000-0001-9250-4916 | |
