Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021768695> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2021768695 endingPage "143" @default.
- W2021768695 startingPage "118" @default.
- W2021768695 abstract "The semantic definition of action refinement on labelled configuration structures is compared with the notion of syntactic substitution , which can be used as another notion of action refinement in a process algebraic setting. The comparison is done by studying a process algebra equipped with sequential composition, parallel composition with an explicit synchronisation set, and an operator for action refinement. On the one hand, the language (including the refinement operator) is given a configuration structure semantics. On the other hand, a reduction procedure transforms a process term P into a flat term (i.e., with the refinement operator not occurring in it) red ( P ) by means of syntactic substitution, defined in a structural inductive way. The main aim of the paper is to investigate general conditions under which the terms P and red ( P ) have the same semantics. The results we present are essentially dependent on the question whether the refined action can be synchronised or not. In the latter case, P and red ( P ) give rise to isomorphic configuration structures under mild assumptions. The former case is considerably more difficult, since then refinement cannot be expected to distribute over parallel composition. We give necessary and sufficient semantic conditions under which distribution still holds up to semantic equivalence. Subsequently, we also give sufficient (but not necessary) syntactic conditions for reducible terms. Finally, we generalise these results to a language with recursion." @default.
- W2021768695 created "2016-06-24" @default.
- W2021768695 creator A5000720054 @default.
- W2021768695 creator A5045219123 @default.
- W2021768695 creator A5085709699 @default.
- W2021768695 date "1996-03-01" @default.
- W2021768695 modified "2023-09-30" @default.
- W2021768695 title "Comparing Syntactic and Semantic Action Refinement" @default.
- W2021768695 cites W1494367567 @default.
- W2021768695 cites W1501872814 @default.
- W2021768695 cites W1502090196 @default.
- W2021768695 cites W1503973138 @default.
- W2021768695 cites W1504590953 @default.
- W2021768695 cites W1532118845 @default.
- W2021768695 cites W1535346981 @default.
- W2021768695 cites W1548353879 @default.
- W2021768695 cites W1559104316 @default.
- W2021768695 cites W1571377821 @default.
- W2021768695 cites W1582369902 @default.
- W2021768695 cites W1586537374 @default.
- W2021768695 cites W1608345513 @default.
- W2021768695 cites W183980248 @default.
- W2021768695 cites W1881997178 @default.
- W2021768695 cites W1998563363 @default.
- W2021768695 cites W2006300228 @default.
- W2021768695 cites W2008678428 @default.
- W2021768695 cites W2031124364 @default.
- W2021768695 cites W2061743024 @default.
- W2021768695 cites W2071140053 @default.
- W2021768695 cites W2095504289 @default.
- W2021768695 cites W2146485104 @default.
- W2021768695 cites W2470948957 @default.
- W2021768695 cites W2913408576 @default.
- W2021768695 cites W1574315806 @default.
- W2021768695 doi "https://doi.org/10.1006/inco.1996.0026" @default.
- W2021768695 hasPublicationYear "1996" @default.
- W2021768695 type Work @default.
- W2021768695 sameAs 2021768695 @default.
- W2021768695 citedByCount "21" @default.
- W2021768695 countsByYear W20217686952012 @default.
- W2021768695 countsByYear W20217686952015 @default.
- W2021768695 countsByYear W20217686952019 @default.
- W2021768695 countsByYear W20217686952023 @default.
- W2021768695 crossrefType "journal-article" @default.
- W2021768695 hasAuthorship W2021768695A5000720054 @default.
- W2021768695 hasAuthorship W2021768695A5045219123 @default.
- W2021768695 hasAuthorship W2021768695A5085709699 @default.
- W2021768695 hasBestOaLocation W20217686951 @default.
- W2021768695 hasConcept C121332964 @default.
- W2021768695 hasConcept C138885662 @default.
- W2021768695 hasConcept C154945302 @default.
- W2021768695 hasConcept C204321447 @default.
- W2021768695 hasConcept C2780791683 @default.
- W2021768695 hasConcept C41008148 @default.
- W2021768695 hasConcept C41895202 @default.
- W2021768695 hasConcept C62520636 @default.
- W2021768695 hasConceptScore W2021768695C121332964 @default.
- W2021768695 hasConceptScore W2021768695C138885662 @default.
- W2021768695 hasConceptScore W2021768695C154945302 @default.
- W2021768695 hasConceptScore W2021768695C204321447 @default.
- W2021768695 hasConceptScore W2021768695C2780791683 @default.
- W2021768695 hasConceptScore W2021768695C41008148 @default.
- W2021768695 hasConceptScore W2021768695C41895202 @default.
- W2021768695 hasConceptScore W2021768695C62520636 @default.
- W2021768695 hasIssue "2" @default.
- W2021768695 hasLocation W20217686951 @default.
- W2021768695 hasLocation W20217686952 @default.
- W2021768695 hasOpenAccess W2021768695 @default.
- W2021768695 hasPrimaryLocation W20217686951 @default.
- W2021768695 hasRelatedWork W1552159754 @default.
- W2021768695 hasRelatedWork W2131420137 @default.
- W2021768695 hasRelatedWork W2148757832 @default.
- W2021768695 hasRelatedWork W2293457016 @default.
- W2021768695 hasRelatedWork W2368651715 @default.
- W2021768695 hasRelatedWork W2611614995 @default.
- W2021768695 hasRelatedWork W2789919619 @default.
- W2021768695 hasRelatedWork W3107474891 @default.
- W2021768695 hasRelatedWork W3169305685 @default.
- W2021768695 hasRelatedWork W4321496520 @default.
- W2021768695 hasVolume "125" @default.
- W2021768695 isParatext "false" @default.
- W2021768695 isRetracted "false" @default.
- W2021768695 magId "2021768695" @default.
- W2021768695 workType "article" @default.