Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017189999> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2017189999 endingPage "139" @default.
- W2017189999 startingPage "97" @default.
- W2017189999 abstract "We prove that testing preorder of De Nicola and Hennessy is preserved by all operators of De Simone process languages. Building upon this result we propose an algorithm for generating axiomatisations of testing preorder for arbitrary De Simone process languages. The axiom systems produced by our algorithm are finite and complete for processes with finite behaviour. In order to achieve completeness for a subclass of processes with infinite behaviour we use one infinitary induction rule. The usefulness of our results is illustrated in specification and verification of small concurrent systems, where suspension, resumption and alternation of execution of component systems occur. We argue that better specifications can be written in customised De Simone process languages, which contain both the standard operators as well as new De Simone operators that are specifically tailored for the task in hand. Moreover, the automatically generated axiom systems for such specification languages make the verification more straightforward." @default.
- W2017189999 created "2016-06-24" @default.
- W2017189999 creator A5075535381 @default.
- W2017189999 date "2000-05-01" @default.
- W2017189999 modified "2023-09-27" @default.
- W2017189999 title "Finite axiom systems for testing preorder and De Simone process languages" @default.
- W2017189999 cites W1497033526 @default.
- W2017189999 cites W1503973138 @default.
- W2017189999 cites W1529352999 @default.
- W2017189999 cites W1547752895 @default.
- W2017189999 cites W1578325940 @default.
- W2017189999 cites W1587275578 @default.
- W2017189999 cites W1791168610 @default.
- W2017189999 cites W1876334967 @default.
- W2017189999 cites W1878098282 @default.
- W2017189999 cites W1966112122 @default.
- W2017189999 cites W1972478730 @default.
- W2017189999 cites W1990440312 @default.
- W2017189999 cites W1999706742 @default.
- W2017189999 cites W2022258624 @default.
- W2017189999 cites W2032185072 @default.
- W2017189999 cites W2036677122 @default.
- W2017189999 cites W2041561080 @default.
- W2017189999 cites W2070157304 @default.
- W2017189999 cites W2095975761 @default.
- W2017189999 cites W2098083416 @default.
- W2017189999 cites W2105135809 @default.
- W2017189999 cites W2108796478 @default.
- W2017189999 cites W2113419579 @default.
- W2017189999 cites W2118954772 @default.
- W2017189999 cites W2120743705 @default.
- W2017189999 cites W2125382028 @default.
- W2017189999 cites W2133409888 @default.
- W2017189999 cites W2136920408 @default.
- W2017189999 cites W2157144873 @default.
- W2017189999 cites W2158942489 @default.
- W2017189999 cites W2167004912 @default.
- W2017189999 cites W2169869634 @default.
- W2017189999 cites W2340102009 @default.
- W2017189999 cites W2492513299 @default.
- W2017189999 cites W2503479549 @default.
- W2017189999 cites W2986375905 @default.
- W2017189999 cites W3144368627 @default.
- W2017189999 cites W609274549 @default.
- W2017189999 doi "https://doi.org/10.1016/s0304-3975(99)00214-5" @default.
- W2017189999 hasPublicationYear "2000" @default.
- W2017189999 type Work @default.
- W2017189999 sameAs 2017189999 @default.
- W2017189999 citedByCount "29" @default.
- W2017189999 countsByYear W20171899992013 @default.
- W2017189999 countsByYear W20171899992014 @default.
- W2017189999 countsByYear W20171899992017 @default.
- W2017189999 countsByYear W20171899992019 @default.
- W2017189999 crossrefType "journal-article" @default.
- W2017189999 hasAuthorship W2017189999A5075535381 @default.
- W2017189999 hasConcept C118615104 @default.
- W2017189999 hasConcept C134306372 @default.
- W2017189999 hasConcept C161771561 @default.
- W2017189999 hasConcept C167729594 @default.
- W2017189999 hasConcept C17231256 @default.
- W2017189999 hasConcept C199360897 @default.
- W2017189999 hasConcept C2333172 @default.
- W2017189999 hasConcept C2524010 @default.
- W2017189999 hasConcept C33923547 @default.
- W2017189999 hasConcept C41008148 @default.
- W2017189999 hasConcept C80444323 @default.
- W2017189999 hasConcept C98045186 @default.
- W2017189999 hasConceptScore W2017189999C118615104 @default.
- W2017189999 hasConceptScore W2017189999C134306372 @default.
- W2017189999 hasConceptScore W2017189999C161771561 @default.
- W2017189999 hasConceptScore W2017189999C167729594 @default.
- W2017189999 hasConceptScore W2017189999C17231256 @default.
- W2017189999 hasConceptScore W2017189999C199360897 @default.
- W2017189999 hasConceptScore W2017189999C2333172 @default.
- W2017189999 hasConceptScore W2017189999C2524010 @default.
- W2017189999 hasConceptScore W2017189999C33923547 @default.
- W2017189999 hasConceptScore W2017189999C41008148 @default.
- W2017189999 hasConceptScore W2017189999C80444323 @default.
- W2017189999 hasConceptScore W2017189999C98045186 @default.
- W2017189999 hasIssue "1" @default.
- W2017189999 hasLocation W20171899991 @default.
- W2017189999 hasOpenAccess W2017189999 @default.
- W2017189999 hasPrimaryLocation W20171899991 @default.
- W2017189999 hasRelatedWork W1526411667 @default.
- W2017189999 hasRelatedWork W1561311151 @default.
- W2017189999 hasRelatedWork W1868341999 @default.
- W2017189999 hasRelatedWork W2017189999 @default.
- W2017189999 hasRelatedWork W2107418518 @default.
- W2017189999 hasRelatedWork W2157045788 @default.
- W2017189999 hasRelatedWork W2782880808 @default.
- W2017189999 hasRelatedWork W4241811139 @default.
- W2017189999 hasRelatedWork W4312046204 @default.
- W2017189999 hasRelatedWork W4366504110 @default.
- W2017189999 hasVolume "239" @default.
- W2017189999 isParatext "false" @default.
- W2017189999 isRetracted "false" @default.
- W2017189999 magId "2017189999" @default.
- W2017189999 workType "article" @default.