Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539863740> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1539863740 endingPage "418" @default.
- W1539863740 startingPage "389" @default.
- W1539863740 abstract "Refinement of actions is a core operation in the hierarchical design methodology for concurrent systems. In this paper, we develop an approach of action refinement for concurrent systems with not only the notation of real-time but also with causal ambiguity, which often exists and appears in real application areas. The systems are modeled in terms of a timed extension of bundle event structures with causal ambiguity. Under a certain partial order semantics, the behavior of the refined system can be inferred compositionally from the behavior of the original system and from the behavior of the systems used to refine actions with explicitly represented start points. A variant of a linear-time equivalence termed pomset trace equivalence and a variant of a branching-time equivalence termed history preserving bisimulation equivalence based on the partial order semantics are both congruences under the refinement. The refinement operation behaves thus well and meets the commonly expected properties." @default.
- W1539863740 created "2016-06-24" @default.
- W1539863740 creator A5030041377 @default.
- W1539863740 creator A5045042008 @default.
- W1539863740 creator A5049541895 @default.
- W1539863740 date "2005-12-02" @default.
- W1539863740 modified "2023-09-25" @default.
- W1539863740 title "Refinement of actions for real-time concurrent systems with causal ambiguity" @default.
- W1539863740 cites W106609255 @default.
- W1539863740 cites W127523156 @default.
- W1539863740 cites W1498108800 @default.
- W1539863740 cites W1509240598 @default.
- W1539863740 cites W1571377821 @default.
- W1539863740 cites W1582369902 @default.
- W1539863740 cites W1587275578 @default.
- W1539863740 cites W1599217298 @default.
- W1539863740 cites W1604894272 @default.
- W1539863740 cites W1755492414 @default.
- W1539863740 cites W1794303326 @default.
- W1539863740 cites W1880480814 @default.
- W1539863740 cites W1895718941 @default.
- W1539863740 cites W1934253803 @default.
- W1539863740 cites W1938699391 @default.
- W1539863740 cites W1984801861 @default.
- W1539863740 cites W2005281130 @default.
- W1539863740 cites W2024452466 @default.
- W1539863740 cites W2030208586 @default.
- W1539863740 cites W2073555326 @default.
- W1539863740 cites W2101508170 @default.
- W1539863740 cites W2101903551 @default.
- W1539863740 cites W2122859326 @default.
- W1539863740 cites W2143641004 @default.
- W1539863740 cites W2155852086 @default.
- W1539863740 cites W2158650944 @default.
- W1539863740 cites W2158942489 @default.
- W1539863740 cites W2340054356 @default.
- W1539863740 cites W3023975137 @default.
- W1539863740 cites W4233702006 @default.
- W1539863740 cites W4239721096 @default.
- W1539863740 doi "https://doi.org/10.1007/s00236-005-0172-4" @default.
- W1539863740 hasPublicationYear "2005" @default.
- W1539863740 type Work @default.
- W1539863740 sameAs 1539863740 @default.
- W1539863740 citedByCount "5" @default.
- W1539863740 countsByYear W15398637402014 @default.
- W1539863740 countsByYear W15398637402016 @default.
- W1539863740 crossrefType "journal-article" @default.
- W1539863740 hasAuthorship W1539863740A5030041377 @default.
- W1539863740 hasAuthorship W1539863740A5045042008 @default.
- W1539863740 hasAuthorship W1539863740A5049541895 @default.
- W1539863740 hasBestOaLocation W15398637402 @default.
- W1539863740 hasConcept C11413529 @default.
- W1539863740 hasConcept C118615104 @default.
- W1539863740 hasConcept C135315306 @default.
- W1539863740 hasConcept C184337299 @default.
- W1539863740 hasConcept C193702766 @default.
- W1539863740 hasConcept C199360897 @default.
- W1539863740 hasConcept C24858836 @default.
- W1539863740 hasConcept C2780069185 @default.
- W1539863740 hasConcept C2780522230 @default.
- W1539863740 hasConcept C33923547 @default.
- W1539863740 hasConcept C41008148 @default.
- W1539863740 hasConcept C80444323 @default.
- W1539863740 hasConcept C9973445 @default.
- W1539863740 hasConceptScore W1539863740C11413529 @default.
- W1539863740 hasConceptScore W1539863740C118615104 @default.
- W1539863740 hasConceptScore W1539863740C135315306 @default.
- W1539863740 hasConceptScore W1539863740C184337299 @default.
- W1539863740 hasConceptScore W1539863740C193702766 @default.
- W1539863740 hasConceptScore W1539863740C199360897 @default.
- W1539863740 hasConceptScore W1539863740C24858836 @default.
- W1539863740 hasConceptScore W1539863740C2780069185 @default.
- W1539863740 hasConceptScore W1539863740C2780522230 @default.
- W1539863740 hasConceptScore W1539863740C33923547 @default.
- W1539863740 hasConceptScore W1539863740C41008148 @default.
- W1539863740 hasConceptScore W1539863740C80444323 @default.
- W1539863740 hasConceptScore W1539863740C9973445 @default.
- W1539863740 hasIssue "6-7" @default.
- W1539863740 hasLocation W15398637401 @default.
- W1539863740 hasLocation W15398637402 @default.
- W1539863740 hasOpenAccess W1539863740 @default.
- W1539863740 hasPrimaryLocation W15398637401 @default.
- W1539863740 hasRelatedWork W139286250 @default.
- W1539863740 hasRelatedWork W1536150964 @default.
- W1539863740 hasRelatedWork W1567765153 @default.
- W1539863740 hasRelatedWork W2024452466 @default.
- W1539863740 hasRelatedWork W2030888138 @default.
- W1539863740 hasRelatedWork W2135048208 @default.
- W1539863740 hasRelatedWork W2148160518 @default.
- W1539863740 hasRelatedWork W25522584 @default.
- W1539863740 hasRelatedWork W2559705703 @default.
- W1539863740 hasRelatedWork W2984844316 @default.
- W1539863740 hasVolume "42" @default.
- W1539863740 isParatext "false" @default.
- W1539863740 isRetracted "false" @default.
- W1539863740 magId "1539863740" @default.
- W1539863740 workType "article" @default.