Matches in SemOpenAlex for { <https://semopenalex.org/work/W4318035568> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4318035568 endingPage "105009" @default.
- W4318035568 startingPage "105009" @default.
- W4318035568 abstract "We explore the problem of finding a minimal complete test suite for refusal trace (or failure trace) semantics. Our approach is based on generating a minimal complete set of forbidden refusal traces and utilises several interesting insights into the semantics. In particular, we identify a key class of refusals called fundamental refusals which essentially determine the refusal trace semantics, and the associated equivalence relation. We then propose a small but not necessarily minimal test suite, which can be constructed with a simple algorithm. Subsequently, we provide an enumerative method to remove all redundant traces from our complete test suite, which comes in two variants, depending on whether we wish to retain the highly desirable uniform completeness. We also address a related problem from modal logic, namely the construction of a characteristic formula of a given process with respect to refusal trace semantics, using a variant of Hennessy-Milner logic with recursion." @default.
- W4318035568 created "2023-01-26" @default.
- W4318035568 creator A5009644797 @default.
- W4318035568 creator A5026377036 @default.
- W4318035568 date "2023-03-01" @default.
- W4318035568 modified "2023-09-26" @default.
- W4318035568 title "Removing redundant refusals: Minimal complete test suites for failure trace semantics" @default.
- W4318035568 cites W1968829301 @default.
- W4318035568 cites W2025280888 @default.
- W4318035568 cites W2073847908 @default.
- W4318035568 cites W2113617913 @default.
- W4318035568 cites W2124621264 @default.
- W4318035568 cites W2143941698 @default.
- W4318035568 cites W2144062101 @default.
- W4318035568 cites W2160282650 @default.
- W4318035568 cites W2518934931 @default.
- W4318035568 cites W2892914421 @default.
- W4318035568 cites W2904586419 @default.
- W4318035568 cites W2913048148 @default.
- W4318035568 cites W2943895433 @default.
- W4318035568 cites W3027679286 @default.
- W4318035568 doi "https://doi.org/10.1016/j.ic.2023.105009" @default.
- W4318035568 hasPublicationYear "2023" @default.
- W4318035568 type Work @default.
- W4318035568 citedByCount "0" @default.
- W4318035568 crossrefType "journal-article" @default.
- W4318035568 hasAuthorship W4318035568A5009644797 @default.
- W4318035568 hasAuthorship W4318035568A5026377036 @default.
- W4318035568 hasBestOaLocation W43180355681 @default.
- W4318035568 hasConcept C11413529 @default.
- W4318035568 hasConcept C118615104 @default.
- W4318035568 hasConcept C119857082 @default.
- W4318035568 hasConcept C128942645 @default.
- W4318035568 hasConcept C134306372 @default.
- W4318035568 hasConcept C138885662 @default.
- W4318035568 hasConcept C151552104 @default.
- W4318035568 hasConcept C152877465 @default.
- W4318035568 hasConcept C168773036 @default.
- W4318035568 hasConcept C17231256 @default.
- W4318035568 hasConcept C184337299 @default.
- W4318035568 hasConcept C199360897 @default.
- W4318035568 hasConcept C2780069185 @default.
- W4318035568 hasConcept C33923547 @default.
- W4318035568 hasConcept C41008148 @default.
- W4318035568 hasConcept C41895202 @default.
- W4318035568 hasConcept C75291252 @default.
- W4318035568 hasConcept C80444323 @default.
- W4318035568 hasConceptScore W4318035568C11413529 @default.
- W4318035568 hasConceptScore W4318035568C118615104 @default.
- W4318035568 hasConceptScore W4318035568C119857082 @default.
- W4318035568 hasConceptScore W4318035568C128942645 @default.
- W4318035568 hasConceptScore W4318035568C134306372 @default.
- W4318035568 hasConceptScore W4318035568C138885662 @default.
- W4318035568 hasConceptScore W4318035568C151552104 @default.
- W4318035568 hasConceptScore W4318035568C152877465 @default.
- W4318035568 hasConceptScore W4318035568C168773036 @default.
- W4318035568 hasConceptScore W4318035568C17231256 @default.
- W4318035568 hasConceptScore W4318035568C184337299 @default.
- W4318035568 hasConceptScore W4318035568C199360897 @default.
- W4318035568 hasConceptScore W4318035568C2780069185 @default.
- W4318035568 hasConceptScore W4318035568C33923547 @default.
- W4318035568 hasConceptScore W4318035568C41008148 @default.
- W4318035568 hasConceptScore W4318035568C41895202 @default.
- W4318035568 hasConceptScore W4318035568C75291252 @default.
- W4318035568 hasConceptScore W4318035568C80444323 @default.
- W4318035568 hasLocation W43180355681 @default.
- W4318035568 hasLocation W43180355682 @default.
- W4318035568 hasLocation W43180355683 @default.
- W4318035568 hasOpenAccess W4318035568 @default.
- W4318035568 hasPrimaryLocation W43180355681 @default.
- W4318035568 hasRelatedWork W1513077802 @default.
- W4318035568 hasRelatedWork W1587224678 @default.
- W4318035568 hasRelatedWork W1614977708 @default.
- W4318035568 hasRelatedWork W1855927527 @default.
- W4318035568 hasRelatedWork W2022413265 @default.
- W4318035568 hasRelatedWork W2130428639 @default.
- W4318035568 hasRelatedWork W2788523799 @default.
- W4318035568 hasRelatedWork W4319786958 @default.
- W4318035568 hasRelatedWork W95128751 @default.
- W4318035568 hasRelatedWork W3108528459 @default.
- W4318035568 hasVolume "291" @default.
- W4318035568 isParatext "false" @default.
- W4318035568 isRetracted "false" @default.
- W4318035568 workType "article" @default.