Matches in SemOpenAlex for { <https://semopenalex.org/work/W2276661322> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2276661322 endingPage "29" @default.
- W2276661322 startingPage "19" @default.
- W2276661322 abstract "In this work, we introduce a scheme for modelling actor systems within sequential term rewriting. In our proposal, a TRS consists of the union of three components: the functional part (which is specific of a system), a set of rules for reducing concurrent actions, and a set of rules for defining a particular scheduling policy. A key ingredient of our approach is that concurrent systems are modelled by terms in which concurrent actions can never occur inside user-defined function calls. This assumption greatly simplifies the definition of the semantics for concurrent actions, since no term traversal will be needed. We prove that these systems are well defined in the sense that concurrent actions can always be reduced. Our approach can be used as a basis for modelling actor-based concurrent programs, which can then be analyzed using existing techniques for term rewrite systems." @default.
- W2276661322 created "2016-06-24" @default.
- W2276661322 creator A5034671904 @default.
- W2276661322 creator A5051613376 @default.
- W2276661322 date "2015-01-01" @default.
- W2276661322 modified "2023-09-23" @default.
- W2276661322 title "Towards Modelling Actor-Based Concurrency in Term Rewriting" @default.
- W2276661322 cites W1164717351 @default.
- W2276661322 cites W1504007491 @default.
- W2276661322 cites W1583295953 @default.
- W2276661322 cites W1584322803 @default.
- W2276661322 cites W1976195354 @default.
- W2276661322 cites W2000826973 @default.
- W2276661322 cites W2020435908 @default.
- W2276661322 cites W2021978684 @default.
- W2276661322 cites W2041034484 @default.
- W2276661322 cites W2048748607 @default.
- W2276661322 cites W2072794470 @default.
- W2276661322 cites W2086357502 @default.
- W2276661322 cites W571601680 @default.
- W2276661322 cites W95084916 @default.
- W2276661322 doi "https://doi.org/10.4230/oasics.wpte.2015.19" @default.
- W2276661322 hasPublicationYear "2015" @default.
- W2276661322 type Work @default.
- W2276661322 sameAs 2276661322 @default.
- W2276661322 citedByCount "1" @default.
- W2276661322 countsByYear W22766613222016 @default.
- W2276661322 crossrefType "journal-article" @default.
- W2276661322 hasAuthorship W2276661322A5034671904 @default.
- W2276661322 hasAuthorship W2276661322A5051613376 @default.
- W2276661322 hasConcept C120314980 @default.
- W2276661322 hasConcept C121332964 @default.
- W2276661322 hasConcept C132525143 @default.
- W2276661322 hasConcept C140745168 @default.
- W2276661322 hasConcept C154690210 @default.
- W2276661322 hasConcept C177264268 @default.
- W2276661322 hasConcept C184337299 @default.
- W2276661322 hasConcept C193702766 @default.
- W2276661322 hasConcept C199360897 @default.
- W2276661322 hasConcept C41008148 @default.
- W2276661322 hasConcept C558772884 @default.
- W2276661322 hasConcept C61797465 @default.
- W2276661322 hasConcept C62520636 @default.
- W2276661322 hasConcept C80444323 @default.
- W2276661322 hasConceptScore W2276661322C120314980 @default.
- W2276661322 hasConceptScore W2276661322C121332964 @default.
- W2276661322 hasConceptScore W2276661322C132525143 @default.
- W2276661322 hasConceptScore W2276661322C140745168 @default.
- W2276661322 hasConceptScore W2276661322C154690210 @default.
- W2276661322 hasConceptScore W2276661322C177264268 @default.
- W2276661322 hasConceptScore W2276661322C184337299 @default.
- W2276661322 hasConceptScore W2276661322C193702766 @default.
- W2276661322 hasConceptScore W2276661322C199360897 @default.
- W2276661322 hasConceptScore W2276661322C41008148 @default.
- W2276661322 hasConceptScore W2276661322C558772884 @default.
- W2276661322 hasConceptScore W2276661322C61797465 @default.
- W2276661322 hasConceptScore W2276661322C62520636 @default.
- W2276661322 hasConceptScore W2276661322C80444323 @default.
- W2276661322 hasLocation W22766613221 @default.
- W2276661322 hasOpenAccess W2276661322 @default.
- W2276661322 hasPrimaryLocation W22766613221 @default.
- W2276661322 hasRelatedWork W115414801 @default.
- W2276661322 hasRelatedWork W146031266 @default.
- W2276661322 hasRelatedWork W1485522136 @default.
- W2276661322 hasRelatedWork W1513584488 @default.
- W2276661322 hasRelatedWork W1515269452 @default.
- W2276661322 hasRelatedWork W1517891847 @default.
- W2276661322 hasRelatedWork W1573188392 @default.
- W2276661322 hasRelatedWork W1763250518 @default.
- W2276661322 hasRelatedWork W1787838883 @default.
- W2276661322 hasRelatedWork W1970986296 @default.
- W2276661322 hasRelatedWork W2003773532 @default.
- W2276661322 hasRelatedWork W2020588945 @default.
- W2276661322 hasRelatedWork W2171997499 @default.
- W2276661322 hasRelatedWork W2497114444 @default.
- W2276661322 hasRelatedWork W2561831591 @default.
- W2276661322 hasRelatedWork W2809465996 @default.
- W2276661322 hasRelatedWork W2926075593 @default.
- W2276661322 hasRelatedWork W2938037396 @default.
- W2276661322 hasRelatedWork W2947197787 @default.
- W2276661322 hasRelatedWork W3159559857 @default.
- W2276661322 isParatext "false" @default.
- W2276661322 isRetracted "false" @default.
- W2276661322 magId "2276661322" @default.
- W2276661322 workType "article" @default.