Matches in SemOpenAlex for { <https://semopenalex.org/work/W1583975476> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1583975476 endingPage "54" @default.
- W1583975476 startingPage "35" @default.
- W1583975476 abstract "There is a straightforward generalization of traces to infinite traces as dependence graphs where every vertex has finitely many predecessors, or what is the same, as a backward closed and directed set of traces with respect to prefix ordering. However, this direct approach has a drawback since it does not allow one to describe some basic phenomena which are related to concatenation. We solve this problem by adding to an infinite trace a second component. This second component is a finite alphabetic information which is called the alphabet at infinity . We obtain a compact and complete ultra-metric space where the concatenation is uniformly continuous and where the set of finite traces is an open, discrete, and dense subset. Our objects arise in a natural way from the consideration of dependence graphs where the induced partial order is well-founded. Such a graph splits into a so-called real part and a transfinite part . From the transfinite part only its alphabet is of importance. Our approach is a nontrivial generalization of the well-known construction for words and yields a convenient semantics for infinite concurrent processes." @default.
- W1583975476 created "2016-06-24" @default.
- W1583975476 creator A5054093863 @default.
- W1583975476 date "1993-05-01" @default.
- W1583975476 modified "2023-09-24" @default.
- W1583975476 title "On the concatenation of infinite traces" @default.
- W1583975476 cites W1493088000 @default.
- W1583975476 cites W1605354378 @default.
- W1583975476 cites W1967736886 @default.
- W1583975476 cites W1973182024 @default.
- W1583975476 cites W2009660421 @default.
- W1583975476 cites W202748244 @default.
- W1583975476 cites W2061936609 @default.
- W1583975476 cites W2078069315 @default.
- W1583975476 cites W2148722937 @default.
- W1583975476 cites W2157436075 @default.
- W1583975476 cites W2490947532 @default.
- W1583975476 cites W2505960745 @default.
- W1583975476 cites W2911900924 @default.
- W1583975476 cites W2912084748 @default.
- W1583975476 cites W2913961691 @default.
- W1583975476 cites W33714751 @default.
- W1583975476 doi "https://doi.org/10.1016/0304-3975(93)90209-c" @default.
- W1583975476 hasPublicationYear "1993" @default.
- W1583975476 type Work @default.
- W1583975476 sameAs 1583975476 @default.
- W1583975476 citedByCount "13" @default.
- W1583975476 crossrefType "journal-article" @default.
- W1583975476 hasAuthorship W1583975476A5054093863 @default.
- W1583975476 hasConcept C114614502 @default.
- W1583975476 hasConcept C118615104 @default.
- W1583975476 hasConcept C132525143 @default.
- W1583975476 hasConcept C134306372 @default.
- W1583975476 hasConcept C137212723 @default.
- W1583975476 hasConcept C138885662 @default.
- W1583975476 hasConcept C141603448 @default.
- W1583975476 hasConcept C147358099 @default.
- W1583975476 hasConcept C177148314 @default.
- W1583975476 hasConcept C33923547 @default.
- W1583975476 hasConcept C41895202 @default.
- W1583975476 hasConcept C75291252 @default.
- W1583975476 hasConcept C80899671 @default.
- W1583975476 hasConcept C87619178 @default.
- W1583975476 hasConceptScore W1583975476C114614502 @default.
- W1583975476 hasConceptScore W1583975476C118615104 @default.
- W1583975476 hasConceptScore W1583975476C132525143 @default.
- W1583975476 hasConceptScore W1583975476C134306372 @default.
- W1583975476 hasConceptScore W1583975476C137212723 @default.
- W1583975476 hasConceptScore W1583975476C138885662 @default.
- W1583975476 hasConceptScore W1583975476C141603448 @default.
- W1583975476 hasConceptScore W1583975476C147358099 @default.
- W1583975476 hasConceptScore W1583975476C177148314 @default.
- W1583975476 hasConceptScore W1583975476C33923547 @default.
- W1583975476 hasConceptScore W1583975476C41895202 @default.
- W1583975476 hasConceptScore W1583975476C75291252 @default.
- W1583975476 hasConceptScore W1583975476C80899671 @default.
- W1583975476 hasConceptScore W1583975476C87619178 @default.
- W1583975476 hasIssue "1" @default.
- W1583975476 hasLocation W15839754761 @default.
- W1583975476 hasOpenAccess W1583975476 @default.
- W1583975476 hasPrimaryLocation W15839754761 @default.
- W1583975476 hasRelatedWork W1654870670 @default.
- W1583975476 hasRelatedWork W2010333092 @default.
- W1583975476 hasRelatedWork W2039123376 @default.
- W1583975476 hasRelatedWork W2147282740 @default.
- W1583975476 hasRelatedWork W2507886780 @default.
- W1583975476 hasRelatedWork W2587853414 @default.
- W1583975476 hasRelatedWork W2623318328 @default.
- W1583975476 hasRelatedWork W2652665647 @default.
- W1583975476 hasRelatedWork W2787402818 @default.
- W1583975476 hasRelatedWork W27897647 @default.
- W1583975476 hasVolume "113" @default.
- W1583975476 isParatext "false" @default.
- W1583975476 isRetracted "false" @default.
- W1583975476 magId "1583975476" @default.
- W1583975476 workType "article" @default.