Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994013545> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1994013545 endingPage "468" @default.
- W1994013545 startingPage "440" @default.
- W1994013545 abstract "Abstract A systematic analysis of trace- and failure-based compositional semantic models for Basic LOTOS is presented. The analysis is motivated by the fact that the weakest known equivalences preserving sufficient information for several typical verification tasks are failure-based, and the weakness of an equivalence can be advantageous for verification. Both the equivalences and the preorders corresponding to the semantic models are covered. The analysis yields in a natural way two compositional semantic models, which are particularly suited for the verification of a general class of liveness properties, a task which cannot be performed with most established models." @default.
- W1994013545 created "2016-06-24" @default.
- W1994013545 creator A5062460264 @default.
- W1994013545 creator A5073755093 @default.
- W1994013545 date "1995-07-01" @default.
- W1994013545 modified "2023-10-16" @default.
- W1994013545 title "Compositional failure-based semantic models for Basic LOTOS" @default.
- W1994013545 cites W119570465 @default.
- W1994013545 cites W1507198985 @default.
- W1994013545 cites W1552488915 @default.
- W1994013545 cites W1568920249 @default.
- W1994013545 cites W1569068921 @default.
- W1994013545 cites W1581774065 @default.
- W1994013545 cites W1586266343 @default.
- W1994013545 cites W1589276513 @default.
- W1994013545 cites W1819526658 @default.
- W1994013545 cites W1865605889 @default.
- W1994013545 cites W2021473546 @default.
- W1994013545 cites W2041669452 @default.
- W1994013545 cites W2100580381 @default.
- W1994013545 cites W2102097307 @default.
- W1994013545 cites W2121372686 @default.
- W1994013545 cites W2144545266 @default.
- W1994013545 cites W2157144873 @default.
- W1994013545 cites W4237380200 @default.
- W1994013545 cites W4239721096 @default.
- W1994013545 cites W4254170367 @default.
- W1994013545 doi "https://doi.org/10.1007/bf01211218" @default.
- W1994013545 hasPublicationYear "1995" @default.
- W1994013545 type Work @default.
- W1994013545 sameAs 1994013545 @default.
- W1994013545 citedByCount "57" @default.
- W1994013545 countsByYear W19940135452012 @default.
- W1994013545 countsByYear W19940135452013 @default.
- W1994013545 countsByYear W19940135452015 @default.
- W1994013545 countsByYear W19940135452016 @default.
- W1994013545 countsByYear W19940135452017 @default.
- W1994013545 countsByYear W19940135452018 @default.
- W1994013545 countsByYear W19940135452020 @default.
- W1994013545 crossrefType "journal-article" @default.
- W1994013545 hasAuthorship W1994013545A5062460264 @default.
- W1994013545 hasAuthorship W1994013545A5073755093 @default.
- W1994013545 hasBestOaLocation W19940135451 @default.
- W1994013545 hasConcept C118615104 @default.
- W1994013545 hasConcept C138885662 @default.
- W1994013545 hasConcept C154945302 @default.
- W1994013545 hasConcept C15569618 @default.
- W1994013545 hasConcept C199360897 @default.
- W1994013545 hasConcept C2129575 @default.
- W1994013545 hasConcept C24858836 @default.
- W1994013545 hasConcept C2780069185 @default.
- W1994013545 hasConcept C33923547 @default.
- W1994013545 hasConcept C37926939 @default.
- W1994013545 hasConcept C41008148 @default.
- W1994013545 hasConcept C41895202 @default.
- W1994013545 hasConcept C511149849 @default.
- W1994013545 hasConcept C75291252 @default.
- W1994013545 hasConcept C80444323 @default.
- W1994013545 hasConceptScore W1994013545C118615104 @default.
- W1994013545 hasConceptScore W1994013545C138885662 @default.
- W1994013545 hasConceptScore W1994013545C154945302 @default.
- W1994013545 hasConceptScore W1994013545C15569618 @default.
- W1994013545 hasConceptScore W1994013545C199360897 @default.
- W1994013545 hasConceptScore W1994013545C2129575 @default.
- W1994013545 hasConceptScore W1994013545C24858836 @default.
- W1994013545 hasConceptScore W1994013545C2780069185 @default.
- W1994013545 hasConceptScore W1994013545C33923547 @default.
- W1994013545 hasConceptScore W1994013545C37926939 @default.
- W1994013545 hasConceptScore W1994013545C41008148 @default.
- W1994013545 hasConceptScore W1994013545C41895202 @default.
- W1994013545 hasConceptScore W1994013545C511149849 @default.
- W1994013545 hasConceptScore W1994013545C75291252 @default.
- W1994013545 hasConceptScore W1994013545C80444323 @default.
- W1994013545 hasIssue "4" @default.
- W1994013545 hasLocation W19940135451 @default.
- W1994013545 hasOpenAccess W1994013545 @default.
- W1994013545 hasPrimaryLocation W19940135451 @default.
- W1994013545 hasRelatedWork W1857396602 @default.
- W1994013545 hasRelatedWork W192823304 @default.
- W1994013545 hasRelatedWork W2037546465 @default.
- W1994013545 hasRelatedWork W2039532842 @default.
- W1994013545 hasRelatedWork W2080649556 @default.
- W1994013545 hasRelatedWork W2115737686 @default.
- W1994013545 hasRelatedWork W2345050942 @default.
- W1994013545 hasRelatedWork W2953597237 @default.
- W1994013545 hasRelatedWork W2961758588 @default.
- W1994013545 hasRelatedWork W4319786958 @default.
- W1994013545 hasVolume "7" @default.
- W1994013545 isParatext "false" @default.
- W1994013545 isRetracted "false" @default.
- W1994013545 magId "1994013545" @default.
- W1994013545 workType "article" @default.