Matches in SemOpenAlex for { <https://semopenalex.org/work/W1532118845> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1532118845 abstract "The hierarchical development of concurrent systems is investigated in a linguistic approach, by introducing a a new combinator for action refinement that substitutes a process for an action. In this way, the classic horizontal modularity is amalgamated with the new vertical one. The semantic definitions have been driven by two methodological criteria arising from a quest for compositionality that enforce to consider as atomic the behaviour of the processes refining actions. The first criterion requires that refinement must preserve the structure of the semantic object to be refined; the second one calls for a compositional refinement operation at the semantic level. Thus, refinement is not syntactic substitution, rather it is a compositional operation, which results to be context-free graph replacement of transition systems for transitions. The operational semantics implements this operation through states which are sort of stacks, used to make atomic the behaviour of processes refining actions; the denotational one uses tags expressing the start and the end of atomic sequences. Moreover, we define equivalences on both semantics, based on strong and rooted branching bisimulations, and we prove them congruences with respect to all the combinators of the language, and coincident." @default.
- W1532118845 created "2016-06-24" @default.
- W1532118845 creator A5000720054 @default.
- W1532118845 creator A5055365661 @default.
- W1532118845 date "1991-01-01" @default.
- W1532118845 modified "2023-09-25" @default.
- W1532118845 title "Atomic refinement in process description languages" @default.
- W1532118845 cites W1532118845 @default.
- W1532118845 cites W1571377821 @default.
- W1532118845 cites W1759774365 @default.
- W1532118845 cites W1972478730 @default.
- W1532118845 cites W1985161650 @default.
- W1532118845 cites W1989279866 @default.
- W1532118845 cites W1991052229 @default.
- W1532118845 cites W2006300228 @default.
- W1532118845 cites W2027622095 @default.
- W1532118845 cites W2101601039 @default.
- W1532118845 cites W2137865376 @default.
- W1532118845 cites W2150320481 @default.
- W1532118845 cites W29785878 @default.
- W1532118845 cites W4210478186 @default.
- W1532118845 doi "https://doi.org/10.1007/3-540-54345-7_55" @default.
- W1532118845 hasPublicationYear "1991" @default.
- W1532118845 type Work @default.
- W1532118845 sameAs 1532118845 @default.
- W1532118845 citedByCount "18" @default.
- W1532118845 countsByYear W15321188452013 @default.
- W1532118845 countsByYear W15321188452015 @default.
- W1532118845 crossrefType "book-chapter" @default.
- W1532118845 hasAuthorship W1532118845A5000720054 @default.
- W1532118845 hasAuthorship W1532118845A5055365661 @default.
- W1532118845 hasConcept C121375916 @default.
- W1532118845 hasConcept C154945302 @default.
- W1532118845 hasConcept C156325763 @default.
- W1532118845 hasConcept C184337299 @default.
- W1532118845 hasConcept C188045909 @default.
- W1532118845 hasConcept C199360897 @default.
- W1532118845 hasConcept C41008148 @default.
- W1532118845 hasConcept C75949130 @default.
- W1532118845 hasConcept C79678938 @default.
- W1532118845 hasConcept C80444323 @default.
- W1532118845 hasConceptScore W1532118845C121375916 @default.
- W1532118845 hasConceptScore W1532118845C154945302 @default.
- W1532118845 hasConceptScore W1532118845C156325763 @default.
- W1532118845 hasConceptScore W1532118845C184337299 @default.
- W1532118845 hasConceptScore W1532118845C188045909 @default.
- W1532118845 hasConceptScore W1532118845C199360897 @default.
- W1532118845 hasConceptScore W1532118845C41008148 @default.
- W1532118845 hasConceptScore W1532118845C75949130 @default.
- W1532118845 hasConceptScore W1532118845C79678938 @default.
- W1532118845 hasConceptScore W1532118845C80444323 @default.
- W1532118845 hasLocation W15321188451 @default.
- W1532118845 hasOpenAccess W1532118845 @default.
- W1532118845 hasPrimaryLocation W15321188451 @default.
- W1532118845 hasRelatedWork W140793526 @default.
- W1532118845 hasRelatedWork W1493999637 @default.
- W1532118845 hasRelatedWork W1497869663 @default.
- W1532118845 hasRelatedWork W1503973138 @default.
- W1532118845 hasRelatedWork W1508065823 @default.
- W1532118845 hasRelatedWork W1534446461 @default.
- W1532118845 hasRelatedWork W1551769641 @default.
- W1532118845 hasRelatedWork W1568442991 @default.
- W1532118845 hasRelatedWork W1574023018 @default.
- W1532118845 hasRelatedWork W1602232868 @default.
- W1532118845 hasRelatedWork W1759774365 @default.
- W1532118845 hasRelatedWork W1989279866 @default.
- W1532118845 hasRelatedWork W1998563363 @default.
- W1532118845 hasRelatedWork W2003499082 @default.
- W1532118845 hasRelatedWork W2024452466 @default.
- W1532118845 hasRelatedWork W2071140053 @default.
- W1532118845 hasRelatedWork W2096241545 @default.
- W1532118845 hasRelatedWork W2146485104 @default.
- W1532118845 hasRelatedWork W2156761731 @default.
- W1532118845 hasRelatedWork W27763718 @default.
- W1532118845 isParatext "false" @default.
- W1532118845 isRetracted "false" @default.
- W1532118845 magId "1532118845" @default.
- W1532118845 workType "book-chapter" @default.