Matches in SemOpenAlex for { <https://semopenalex.org/work/W1550246870> ?p ?o ?g. }
- W1550246870 endingPage "231" @default.
- W1550246870 startingPage "201" @default.
- W1550246870 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 generalized term graph rewriting efficiently on a distributed architecture and utilizes 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 for both typed and untyped nets, while the impossibility of the opposite translation rests on the fact that net rewriting is always Church–Rosser while MONSTR rewriting is not. Some extensions to the net formalism suggested by the relationship with MONSTR are discussed, as well as some related implementation issues." @default.
- W1550246870 created "2016-06-24" @default.
- W1550246870 creator A5033815092 @default.
- W1550246870 creator A5075794170 @default.
- W1550246870 date "1997-01-01" @default.
- W1550246870 modified "2023-09-28" @default.
- W1550246870 title "A study of two graph rewriting formalisms: Interaction Nets and MONSTR" @default.
- W1550246870 cites W138156785 @default.
- W1550246870 cites W1529787579 @default.
- W1550246870 cites W1541559539 @default.
- W1550246870 cites W1572370762 @default.
- W1550246870 cites W1582280888 @default.
- W1550246870 cites W1590029082 @default.
- W1550246870 cites W185615578 @default.
- W1550246870 cites W188474948 @default.
- W1550246870 cites W2032973651 @default.
- W1550246870 cites W2042593365 @default.
- W1550246870 cites W2053384008 @default.
- W1550246870 cites W2069342860 @default.
- W1550246870 cites W2104948267 @default.
- W1550246870 cites W2115825749 @default.
- W1550246870 cites W2141378985 @default.
- W1550246870 cites W2159693717 @default.
- W1550246870 cites W2160708853 @default.
- W1550246870 cites W2167843643 @default.
- W1550246870 cites W2255932963 @default.
- W1550246870 cites W2294530123 @default.
- W1550246870 cites W2911865844 @default.
- W1550246870 hasPublicationYear "1997" @default.
- W1550246870 type Work @default.
- W1550246870 sameAs 1550246870 @default.
- W1550246870 citedByCount "4" @default.
- W1550246870 crossrefType "journal-article" @default.
- W1550246870 hasAuthorship W1550246870A5033815092 @default.
- W1550246870 hasAuthorship W1550246870A5075794170 @default.
- W1550246870 hasConcept C132525143 @default.
- W1550246870 hasConcept C134306372 @default.
- W1550246870 hasConcept C142362112 @default.
- W1550246870 hasConcept C153349607 @default.
- W1550246870 hasConcept C154690210 @default.
- W1550246870 hasConcept C171018156 @default.
- W1550246870 hasConcept C17744445 @default.
- W1550246870 hasConcept C199360897 @default.
- W1550246870 hasConcept C199539241 @default.
- W1550246870 hasConcept C2524010 @default.
- W1550246870 hasConcept C2776261394 @default.
- W1550246870 hasConcept C33923547 @default.
- W1550246870 hasConcept C41008148 @default.
- W1550246870 hasConcept C42747912 @default.
- W1550246870 hasConcept C558565934 @default.
- W1550246870 hasConcept C558772884 @default.
- W1550246870 hasConcept C73301696 @default.
- W1550246870 hasConcept C77906462 @default.
- W1550246870 hasConcept C80444323 @default.
- W1550246870 hasConceptScore W1550246870C132525143 @default.
- W1550246870 hasConceptScore W1550246870C134306372 @default.
- W1550246870 hasConceptScore W1550246870C142362112 @default.
- W1550246870 hasConceptScore W1550246870C153349607 @default.
- W1550246870 hasConceptScore W1550246870C154690210 @default.
- W1550246870 hasConceptScore W1550246870C171018156 @default.
- W1550246870 hasConceptScore W1550246870C17744445 @default.
- W1550246870 hasConceptScore W1550246870C199360897 @default.
- W1550246870 hasConceptScore W1550246870C199539241 @default.
- W1550246870 hasConceptScore W1550246870C2524010 @default.
- W1550246870 hasConceptScore W1550246870C2776261394 @default.
- W1550246870 hasConceptScore W1550246870C33923547 @default.
- W1550246870 hasConceptScore W1550246870C41008148 @default.
- W1550246870 hasConceptScore W1550246870C42747912 @default.
- W1550246870 hasConceptScore W1550246870C558565934 @default.
- W1550246870 hasConceptScore W1550246870C558772884 @default.
- W1550246870 hasConceptScore W1550246870C73301696 @default.
- W1550246870 hasConceptScore W1550246870C77906462 @default.
- W1550246870 hasConceptScore W1550246870C80444323 @default.
- W1550246870 hasIssue "1" @default.
- W1550246870 hasLocation W15502468701 @default.
- W1550246870 hasOpenAccess W1550246870 @default.
- W1550246870 hasPrimaryLocation W15502468701 @default.
- W1550246870 hasRelatedWork W1512028847 @default.
- W1550246870 hasRelatedWork W1513152267 @default.
- W1550246870 hasRelatedWork W1516046430 @default.
- W1550246870 hasRelatedWork W1546719686 @default.
- W1550246870 hasRelatedWork W1553261637 @default.
- W1550246870 hasRelatedWork W1566202617 @default.
- W1550246870 hasRelatedWork W1573790708 @default.
- W1550246870 hasRelatedWork W1599883712 @default.
- W1550246870 hasRelatedWork W1600225957 @default.
- W1550246870 hasRelatedWork W1601708931 @default.
- W1550246870 hasRelatedWork W1846899382 @default.
- W1550246870 hasRelatedWork W1936320922 @default.
- W1550246870 hasRelatedWork W1950130824 @default.
- W1550246870 hasRelatedWork W1995787509 @default.
- W1550246870 hasRelatedWork W2097509104 @default.
- W1550246870 hasRelatedWork W2956014332 @default.
- W1550246870 hasRelatedWork W3005022890 @default.
- W1550246870 hasRelatedWork W3073220576 @default.
- W1550246870 hasRelatedWork W370833510 @default.
- W1550246870 hasRelatedWork W3083518173 @default.
- W1550246870 hasVolume "5" @default.