Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034873935> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2034873935 abstract "We equip labelled transition systems (LTSs) with unidirectional counters (UCs) which can be initialised to an arbitrary positive value and decremented but not incremented. This formalism, called UCLTSs, enables one to express fairness properties of concurrent systems in a finite form and reason about them in a compositional, refinement-based fashion. Technically, we first show how to apply CSP-style parallel composition and hiding directly on UCLTSs while maintaining compositionality. As our main result, we prove that the refinement checking of UCLTSs under the chaos-free failures-divergences semantics can be reduced to two decidable tasks that can be solved by the popular FDR2 and NuSMV model checkers, respectively." @default.
- W2034873935 created "2016-06-24" @default.
- W2034873935 creator A5060497231 @default.
- W2034873935 creator A5060661020 @default.
- W2034873935 creator A5085407074 @default.
- W2034873935 date "2012-06-01" @default.
- W2034873935 modified "2023-09-27" @default.
- W2034873935 title "Introducing Fairness into Compositional Verification via Unidirectional Counters" @default.
- W2034873935 cites W1489391022 @default.
- W2034873935 cites W1530375987 @default.
- W2034873935 cites W1564539225 @default.
- W2034873935 cites W1573453798 @default.
- W2034873935 cites W1585112206 @default.
- W2034873935 cites W1585581063 @default.
- W2034873935 cites W2046834127 @default.
- W2034873935 cites W2048399275 @default.
- W2034873935 cites W2048880957 @default.
- W2034873935 cites W2098981343 @default.
- W2034873935 cites W2128510433 @default.
- W2034873935 cites W2149887749 @default.
- W2034873935 cites W2170056432 @default.
- W2034873935 cites W2272999419 @default.
- W2034873935 cites W2911862439 @default.
- W2034873935 cites W2913459036 @default.
- W2034873935 cites W2913758775 @default.
- W2034873935 cites W2913931721 @default.
- W2034873935 cites W3000511677 @default.
- W2034873935 doi "https://doi.org/10.1109/acsd.2012.21" @default.
- W2034873935 hasPublicationYear "2012" @default.
- W2034873935 type Work @default.
- W2034873935 sameAs 2034873935 @default.
- W2034873935 citedByCount "0" @default.
- W2034873935 crossrefType "proceedings-article" @default.
- W2034873935 hasAuthorship W2034873935A5060497231 @default.
- W2034873935 hasAuthorship W2034873935A5060661020 @default.
- W2034873935 hasAuthorship W2034873935A5085407074 @default.
- W2034873935 hasBestOaLocation W20348739352 @default.
- W2034873935 hasConcept C110251889 @default.
- W2034873935 hasConcept C11413529 @default.
- W2034873935 hasConcept C120314980 @default.
- W2034873935 hasConcept C121375916 @default.
- W2034873935 hasConcept C142362112 @default.
- W2034873935 hasConcept C153269930 @default.
- W2034873935 hasConcept C153349607 @default.
- W2034873935 hasConcept C154945302 @default.
- W2034873935 hasConcept C184337299 @default.
- W2034873935 hasConcept C199360897 @default.
- W2034873935 hasConcept C41008148 @default.
- W2034873935 hasConcept C558565934 @default.
- W2034873935 hasConcept C73301696 @default.
- W2034873935 hasConcept C80444323 @default.
- W2034873935 hasConceptScore W2034873935C110251889 @default.
- W2034873935 hasConceptScore W2034873935C11413529 @default.
- W2034873935 hasConceptScore W2034873935C120314980 @default.
- W2034873935 hasConceptScore W2034873935C121375916 @default.
- W2034873935 hasConceptScore W2034873935C142362112 @default.
- W2034873935 hasConceptScore W2034873935C153269930 @default.
- W2034873935 hasConceptScore W2034873935C153349607 @default.
- W2034873935 hasConceptScore W2034873935C154945302 @default.
- W2034873935 hasConceptScore W2034873935C184337299 @default.
- W2034873935 hasConceptScore W2034873935C199360897 @default.
- W2034873935 hasConceptScore W2034873935C41008148 @default.
- W2034873935 hasConceptScore W2034873935C558565934 @default.
- W2034873935 hasConceptScore W2034873935C73301696 @default.
- W2034873935 hasConceptScore W2034873935C80444323 @default.
- W2034873935 hasLocation W20348739351 @default.
- W2034873935 hasLocation W20348739352 @default.
- W2034873935 hasOpenAccess W2034873935 @default.
- W2034873935 hasPrimaryLocation W20348739351 @default.
- W2034873935 hasRelatedWork W192883778 @default.
- W2034873935 hasRelatedWork W2034873935 @default.
- W2034873935 hasRelatedWork W2282576365 @default.
- W2034873935 hasRelatedWork W2742160410 @default.
- W2034873935 hasRelatedWork W2963857035 @default.
- W2034873935 hasRelatedWork W3159133453 @default.
- W2034873935 hasRelatedWork W3209871473 @default.
- W2034873935 hasRelatedWork W4286894913 @default.
- W2034873935 hasRelatedWork W4287197746 @default.
- W2034873935 hasRelatedWork W4289800026 @default.
- W2034873935 isParatext "false" @default.
- W2034873935 isRetracted "false" @default.
- W2034873935 magId "2034873935" @default.
- W2034873935 workType "article" @default.