Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998563363> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1998563363 endingPage "48" @default.
- W1998563363 startingPage "21" @default.
- W1998563363 abstract "Refinement of actions allows one to design systems in a top-down style, changing the level of abstraction by interpreting actions on a higher level by more complicated processes on a lower level. We study action refinement in two connected models for true concurrency. The first model is an adaptation of prime event structures, called δ-free event structures. In this model refinement amounts to an expansion of events into event structures. Refinement is compatible with the history-preserving equivalence on event structures. The second model, called causal trees, is an explicit representation for event structures factored by history-preserving bisimulation. Causal trees are equipped with derived refinement operations, defined in an inductive way. The two models for refinement are shown to agree. Causal trees may, therefore, be used to construct a semantic calculus for algebras of process terms enriched with refinement, where terms are interpreted as classes of history-preserving equivalent event structures." @default.
- W1998563363 created "2016-06-24" @default.
- W1998563363 creator A5055365661 @default.
- W1998563363 creator A5091184775 @default.
- W1998563363 date "1993-09-01" @default.
- W1998563363 modified "2023-10-18" @default.
- W1998563363 title "Refinement of actions in event structures and causal trees" @default.
- W1998563363 cites W1978469611 @default.
- W1998563363 cites W1989279866 @default.
- W1998563363 cites W1991052229 @default.
- W1998563363 cites W2063465006 @default.
- W1998563363 doi "https://doi.org/10.1016/0304-3975(93)90361-v" @default.
- W1998563363 hasPublicationYear "1993" @default.
- W1998563363 type Work @default.
- W1998563363 sameAs 1998563363 @default.
- W1998563363 citedByCount "39" @default.
- W1998563363 countsByYear W19985633632013 @default.
- W1998563363 countsByYear W19985633632015 @default.
- W1998563363 countsByYear W19985633632019 @default.
- W1998563363 countsByYear W19985633632020 @default.
- W1998563363 countsByYear W19985633632021 @default.
- W1998563363 countsByYear W19985633632022 @default.
- W1998563363 countsByYear W19985633632023 @default.
- W1998563363 crossrefType "journal-article" @default.
- W1998563363 hasAuthorship W1998563363A5055365661 @default.
- W1998563363 hasAuthorship W1998563363A5091184775 @default.
- W1998563363 hasConcept C105795698 @default.
- W1998563363 hasConcept C111472728 @default.
- W1998563363 hasConcept C11413529 @default.
- W1998563363 hasConcept C118615104 @default.
- W1998563363 hasConcept C121332964 @default.
- W1998563363 hasConcept C124304363 @default.
- W1998563363 hasConcept C135315306 @default.
- W1998563363 hasConcept C138885662 @default.
- W1998563363 hasConcept C193702766 @default.
- W1998563363 hasConcept C199360897 @default.
- W1998563363 hasConcept C2777810175 @default.
- W1998563363 hasConcept C2779662365 @default.
- W1998563363 hasConcept C2780069185 @default.
- W1998563363 hasConcept C33923547 @default.
- W1998563363 hasConcept C41008148 @default.
- W1998563363 hasConcept C62520636 @default.
- W1998563363 hasConcept C80444323 @default.
- W1998563363 hasConcept C90483712 @default.
- W1998563363 hasConceptScore W1998563363C105795698 @default.
- W1998563363 hasConceptScore W1998563363C111472728 @default.
- W1998563363 hasConceptScore W1998563363C11413529 @default.
- W1998563363 hasConceptScore W1998563363C118615104 @default.
- W1998563363 hasConceptScore W1998563363C121332964 @default.
- W1998563363 hasConceptScore W1998563363C124304363 @default.
- W1998563363 hasConceptScore W1998563363C135315306 @default.
- W1998563363 hasConceptScore W1998563363C138885662 @default.
- W1998563363 hasConceptScore W1998563363C193702766 @default.
- W1998563363 hasConceptScore W1998563363C199360897 @default.
- W1998563363 hasConceptScore W1998563363C2777810175 @default.
- W1998563363 hasConceptScore W1998563363C2779662365 @default.
- W1998563363 hasConceptScore W1998563363C2780069185 @default.
- W1998563363 hasConceptScore W1998563363C33923547 @default.
- W1998563363 hasConceptScore W1998563363C41008148 @default.
- W1998563363 hasConceptScore W1998563363C62520636 @default.
- W1998563363 hasConceptScore W1998563363C80444323 @default.
- W1998563363 hasConceptScore W1998563363C90483712 @default.
- W1998563363 hasIssue "1" @default.
- W1998563363 hasLocation W19985633631 @default.
- W1998563363 hasOpenAccess W1998563363 @default.
- W1998563363 hasPrimaryLocation W19985633631 @default.
- W1998563363 hasRelatedWork W1552727000 @default.
- W1998563363 hasRelatedWork W1557509894 @default.
- W1998563363 hasRelatedWork W1569109463 @default.
- W1998563363 hasRelatedWork W1571087964 @default.
- W1998563363 hasRelatedWork W1885186328 @default.
- W1998563363 hasRelatedWork W1998563363 @default.
- W1998563363 hasRelatedWork W2088892644 @default.
- W1998563363 hasRelatedWork W2660972524 @default.
- W1998563363 hasRelatedWork W3175218081 @default.
- W1998563363 hasRelatedWork W3202282633 @default.
- W1998563363 hasVolume "118" @default.
- W1998563363 isParatext "false" @default.
- W1998563363 isRetracted "false" @default.
- W1998563363 magId "1998563363" @default.
- W1998563363 workType "article" @default.