Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982912460> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1982912460 endingPage "361" @default.
- W1982912460 startingPage "337" @default.
- W1982912460 abstract "Behavioural equivalences of labelled transition systems are characterized in terms of homomorphic transformations. This permits relying on algebraic techniques for proving systems properties and reduces equivalence checking of two systems to studying the relationships among the elements of their structures. Different algebraic characterizations of bisimulation-based equivalences in terms of particular transition system homomorphisms have been proposed in the literature. Here, it is shown that trace and decorated trace equivalences can neither be characterized in terms of transition system homomorphisms, nor be defined locally, i.e., only in terms of action sequences of bounded length and of root-preserving maps. However, results similar to those for bisimulation can be obtained for restricted classes of transition systems. For tree-like systems, we present the algebraic characterizations of trace equivalence and of three well-known decorated trace equivalences, namely ready , ready trace equivalence and failure ." @default.
- W1982912460 created "2016-06-24" @default.
- W1982912460 creator A5016732227 @default.
- W1982912460 creator A5039849359 @default.
- W1982912460 date "2001-03-01" @default.
- W1982912460 modified "2023-09-24" @default.
- W1982912460 title "Algebraic characterizations of trace and decorated trace equivalences over tree-like structures" @default.
- W1982912460 cites W10403265 @default.
- W1982912460 cites W1487199072 @default.
- W1982912460 cites W1503973138 @default.
- W1982912460 cites W1521909147 @default.
- W1982912460 cites W2035959929 @default.
- W1982912460 cites W2063896982 @default.
- W1982912460 cites W2070847316 @default.
- W1982912460 cites W2076184535 @default.
- W1982912460 cites W2080593426 @default.
- W1982912460 cites W2082586807 @default.
- W1982912460 cites W2098981343 @default.
- W1982912460 cites W2102097307 @default.
- W1982912460 cites W2107144615 @default.
- W1982912460 cites W2107733072 @default.
- W1982912460 cites W2118954772 @default.
- W1982912460 cites W2128645239 @default.
- W1982912460 cites W2144545266 @default.
- W1982912460 cites W2157144873 @default.
- W1982912460 cites W2163123880 @default.
- W1982912460 cites W2176300081 @default.
- W1982912460 cites W2294826973 @default.
- W1982912460 cites W2583662594 @default.
- W1982912460 cites W3000511677 @default.
- W1982912460 cites W3144368627 @default.
- W1982912460 doi "https://doi.org/10.1016/s0304-3975(99)00300-x" @default.
- W1982912460 hasPublicationYear "2001" @default.
- W1982912460 type Work @default.
- W1982912460 sameAs 1982912460 @default.
- W1982912460 citedByCount "7" @default.
- W1982912460 countsByYear W19829124602012 @default.
- W1982912460 countsByYear W19829124602013 @default.
- W1982912460 countsByYear W19829124602019 @default.
- W1982912460 crossrefType "journal-article" @default.
- W1982912460 hasAuthorship W1982912460A5016732227 @default.
- W1982912460 hasAuthorship W1982912460A5039849359 @default.
- W1982912460 hasConcept C113174947 @default.
- W1982912460 hasConcept C11413529 @default.
- W1982912460 hasConcept C114614502 @default.
- W1982912460 hasConcept C118615104 @default.
- W1982912460 hasConcept C134306372 @default.
- W1982912460 hasConcept C135315306 @default.
- W1982912460 hasConcept C136119220 @default.
- W1982912460 hasConcept C138885662 @default.
- W1982912460 hasConcept C202444582 @default.
- W1982912460 hasConcept C2779167558 @default.
- W1982912460 hasConcept C2780069185 @default.
- W1982912460 hasConcept C33923547 @default.
- W1982912460 hasConcept C34388435 @default.
- W1982912460 hasConcept C4042151 @default.
- W1982912460 hasConcept C41895202 @default.
- W1982912460 hasConcept C75291252 @default.
- W1982912460 hasConcept C9376300 @default.
- W1982912460 hasConceptScore W1982912460C113174947 @default.
- W1982912460 hasConceptScore W1982912460C11413529 @default.
- W1982912460 hasConceptScore W1982912460C114614502 @default.
- W1982912460 hasConceptScore W1982912460C118615104 @default.
- W1982912460 hasConceptScore W1982912460C134306372 @default.
- W1982912460 hasConceptScore W1982912460C135315306 @default.
- W1982912460 hasConceptScore W1982912460C136119220 @default.
- W1982912460 hasConceptScore W1982912460C138885662 @default.
- W1982912460 hasConceptScore W1982912460C202444582 @default.
- W1982912460 hasConceptScore W1982912460C2779167558 @default.
- W1982912460 hasConceptScore W1982912460C2780069185 @default.
- W1982912460 hasConceptScore W1982912460C33923547 @default.
- W1982912460 hasConceptScore W1982912460C34388435 @default.
- W1982912460 hasConceptScore W1982912460C4042151 @default.
- W1982912460 hasConceptScore W1982912460C41895202 @default.
- W1982912460 hasConceptScore W1982912460C75291252 @default.
- W1982912460 hasConceptScore W1982912460C9376300 @default.
- W1982912460 hasIssue "1-2" @default.
- W1982912460 hasLocation W19829124601 @default.
- W1982912460 hasOpenAccess W1982912460 @default.
- W1982912460 hasPrimaryLocation W19829124601 @default.
- W1982912460 hasRelatedWork W1500812389 @default.
- W1982912460 hasRelatedWork W1554045856 @default.
- W1982912460 hasRelatedWork W1586382855 @default.
- W1982912460 hasRelatedWork W1608609850 @default.
- W1982912460 hasRelatedWork W1833364793 @default.
- W1982912460 hasRelatedWork W1982912460 @default.
- W1982912460 hasRelatedWork W2063896982 @default.
- W1982912460 hasRelatedWork W2076640573 @default.
- W1982912460 hasRelatedWork W2542521721 @default.
- W1982912460 hasRelatedWork W3139193501 @default.
- W1982912460 hasVolume "254" @default.
- W1982912460 isParatext "false" @default.
- W1982912460 isRetracted "false" @default.
- W1982912460 magId "1982912460" @default.
- W1982912460 workType "article" @default.