Matches in SemOpenAlex for { <https://semopenalex.org/work/W1861859182> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1861859182 abstract "A variety of results which enable model checking of important classes of infinite-state systems are based on exploiting the property of data independence. The literature contains a number of definitions of variants of data independence, which are given by syntactic restrictions in particular formalisms. More recently, data independence was defined for labelled transition systems using logical relations, enabling results about data independent systems to be proved without reference to a particular syntax. In this paper, we show that the semantic definition is sufficiently strong for this purpose. More precisely, it was known that any syntactically data independent symbolic LTS denotes a semantically data independent family of LTSs, but here we show that the converse also holds." @default.
- W1861859182 created "2016-06-24" @default.
- W1861859182 creator A5016064325 @default.
- W1861859182 creator A5041702710 @default.
- W1861859182 date "2003-01-01" @default.
- W1861859182 modified "2023-09-25" @default.
- W1861859182 title "On a Semantic Definition of Data Independence" @default.
- W1861859182 cites W121208955 @default.
- W1861859182 cites W1487721031 @default.
- W1861859182 cites W1494257722 @default.
- W1861859182 cites W1515190954 @default.
- W1861859182 cites W1591846509 @default.
- W1861859182 cites W1861859182 @default.
- W1861859182 cites W1883667652 @default.
- W1861859182 cites W1968787210 @default.
- W1861859182 cites W1997387389 @default.
- W1861859182 cites W2012001501 @default.
- W1861859182 cites W2034606068 @default.
- W1861859182 cites W2076212401 @default.
- W1861859182 cites W2157118812 @default.
- W1861859182 cites W2176316790 @default.
- W1861859182 cites W2913663755 @default.
- W1861859182 doi "https://doi.org/10.1007/3-540-44904-3_16" @default.
- W1861859182 hasPublicationYear "2003" @default.
- W1861859182 type Work @default.
- W1861859182 sameAs 1861859182 @default.
- W1861859182 citedByCount "4" @default.
- W1861859182 crossrefType "book-chapter" @default.
- W1861859182 hasAuthorship W1861859182A5016064325 @default.
- W1861859182 hasAuthorship W1861859182A5041702710 @default.
- W1861859182 hasBestOaLocation W18618591822 @default.
- W1861859182 hasConcept C105795698 @default.
- W1861859182 hasConcept C136197465 @default.
- W1861859182 hasConcept C154945302 @default.
- W1861859182 hasConcept C171018156 @default.
- W1861859182 hasConcept C204321447 @default.
- W1861859182 hasConcept C2524010 @default.
- W1861859182 hasConcept C2776809875 @default.
- W1861859182 hasConcept C33923547 @default.
- W1861859182 hasConcept C35651441 @default.
- W1861859182 hasConcept C41008148 @default.
- W1861859182 hasConcept C60048249 @default.
- W1861859182 hasConcept C80444323 @default.
- W1861859182 hasConceptScore W1861859182C105795698 @default.
- W1861859182 hasConceptScore W1861859182C136197465 @default.
- W1861859182 hasConceptScore W1861859182C154945302 @default.
- W1861859182 hasConceptScore W1861859182C171018156 @default.
- W1861859182 hasConceptScore W1861859182C204321447 @default.
- W1861859182 hasConceptScore W1861859182C2524010 @default.
- W1861859182 hasConceptScore W1861859182C2776809875 @default.
- W1861859182 hasConceptScore W1861859182C33923547 @default.
- W1861859182 hasConceptScore W1861859182C35651441 @default.
- W1861859182 hasConceptScore W1861859182C41008148 @default.
- W1861859182 hasConceptScore W1861859182C60048249 @default.
- W1861859182 hasConceptScore W1861859182C80444323 @default.
- W1861859182 hasLocation W18618591821 @default.
- W1861859182 hasLocation W18618591822 @default.
- W1861859182 hasOpenAccess W1861859182 @default.
- W1861859182 hasPrimaryLocation W18618591821 @default.
- W1861859182 hasRelatedWork W2101955803 @default.
- W1861859182 hasRelatedWork W2119214692 @default.
- W1861859182 hasRelatedWork W2144190808 @default.
- W1861859182 hasRelatedWork W2151447942 @default.
- W1861859182 hasRelatedWork W2357241418 @default.
- W1861859182 hasRelatedWork W2366644548 @default.
- W1861859182 hasRelatedWork W2376314740 @default.
- W1861859182 hasRelatedWork W2384888906 @default.
- W1861859182 hasRelatedWork W2611614995 @default.
- W1861859182 hasRelatedWork W3107474891 @default.
- W1861859182 isParatext "false" @default.
- W1861859182 isRetracted "false" @default.
- W1861859182 magId "1861859182" @default.
- W1861859182 workType "book-chapter" @default.