Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572311852> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1572311852 abstract "We study termination of LOTOS behaviors. In order to characterize termination, we first define a testing semantics for LOTOS in the classical way giving a fully abstract characterization in terms of acceptance sets. We show that this testing semantics does not properly capture termination. Then we modify the testing semantics by extending the class of admissible tests, to obtain a new equivalence that is a congruence with respect to the enabling operator. Then, we study alternative definitions of testing in order to capture termination, and we relate them each other, getting a Hierarchy of termination, which besides proves that the first termination semantics is in fact the most adequate one." @default.
- W1572311852 created "2016-06-24" @default.
- W1572311852 creator A5024107021 @default.
- W1572311852 creator A5045542345 @default.
- W1572311852 creator A5077617115 @default.
- W1572311852 date "1996-01-01" @default.
- W1572311852 modified "2023-10-02" @default.
- W1572311852 title "Characterizing Termination in LOTOS via Testing" @default.
- W1572311852 cites W1972478730 @default.
- W1572311852 cites W2078105844 @default.
- W1572311852 cites W2157144873 @default.
- W1572311852 doi "https://doi.org/10.1007/978-0-387-34892-6_15" @default.
- W1572311852 hasPublicationYear "1996" @default.
- W1572311852 type Work @default.
- W1572311852 sameAs 1572311852 @default.
- W1572311852 citedByCount "3" @default.
- W1572311852 crossrefType "book-chapter" @default.
- W1572311852 hasAuthorship W1572311852A5024107021 @default.
- W1572311852 hasAuthorship W1572311852A5045542345 @default.
- W1572311852 hasAuthorship W1572311852A5077617115 @default.
- W1572311852 hasConcept C104317684 @default.
- W1572311852 hasConcept C118615104 @default.
- W1572311852 hasConcept C132074034 @default.
- W1572311852 hasConcept C154945302 @default.
- W1572311852 hasConcept C156325763 @default.
- W1572311852 hasConcept C158448853 @default.
- W1572311852 hasConcept C162324750 @default.
- W1572311852 hasConcept C17020691 @default.
- W1572311852 hasConcept C171250308 @default.
- W1572311852 hasConcept C184337299 @default.
- W1572311852 hasConcept C185592680 @default.
- W1572311852 hasConcept C192562407 @default.
- W1572311852 hasConcept C199360897 @default.
- W1572311852 hasConcept C2524010 @default.
- W1572311852 hasConcept C2777212361 @default.
- W1572311852 hasConcept C2780069185 @default.
- W1572311852 hasConcept C2780841128 @default.
- W1572311852 hasConcept C31170391 @default.
- W1572311852 hasConcept C33923547 @default.
- W1572311852 hasConcept C34447519 @default.
- W1572311852 hasConcept C41008148 @default.
- W1572311852 hasConcept C55493867 @default.
- W1572311852 hasConcept C80444323 @default.
- W1572311852 hasConcept C86339819 @default.
- W1572311852 hasConceptScore W1572311852C104317684 @default.
- W1572311852 hasConceptScore W1572311852C118615104 @default.
- W1572311852 hasConceptScore W1572311852C132074034 @default.
- W1572311852 hasConceptScore W1572311852C154945302 @default.
- W1572311852 hasConceptScore W1572311852C156325763 @default.
- W1572311852 hasConceptScore W1572311852C158448853 @default.
- W1572311852 hasConceptScore W1572311852C162324750 @default.
- W1572311852 hasConceptScore W1572311852C17020691 @default.
- W1572311852 hasConceptScore W1572311852C171250308 @default.
- W1572311852 hasConceptScore W1572311852C184337299 @default.
- W1572311852 hasConceptScore W1572311852C185592680 @default.
- W1572311852 hasConceptScore W1572311852C192562407 @default.
- W1572311852 hasConceptScore W1572311852C199360897 @default.
- W1572311852 hasConceptScore W1572311852C2524010 @default.
- W1572311852 hasConceptScore W1572311852C2777212361 @default.
- W1572311852 hasConceptScore W1572311852C2780069185 @default.
- W1572311852 hasConceptScore W1572311852C2780841128 @default.
- W1572311852 hasConceptScore W1572311852C31170391 @default.
- W1572311852 hasConceptScore W1572311852C33923547 @default.
- W1572311852 hasConceptScore W1572311852C34447519 @default.
- W1572311852 hasConceptScore W1572311852C41008148 @default.
- W1572311852 hasConceptScore W1572311852C55493867 @default.
- W1572311852 hasConceptScore W1572311852C80444323 @default.
- W1572311852 hasConceptScore W1572311852C86339819 @default.
- W1572311852 hasLocation W15723118521 @default.
- W1572311852 hasOpenAccess W1572311852 @default.
- W1572311852 hasPrimaryLocation W15723118521 @default.
- W1572311852 hasRelatedWork W1526411667 @default.
- W1572311852 hasRelatedWork W1543138809 @default.
- W1572311852 hasRelatedWork W1571212368 @default.
- W1572311852 hasRelatedWork W1699447708 @default.
- W1572311852 hasRelatedWork W1889612581 @default.
- W1572311852 hasRelatedWork W2034020594 @default.
- W1572311852 hasRelatedWork W2048999490 @default.
- W1572311852 hasRelatedWork W2050247536 @default.
- W1572311852 hasRelatedWork W2106301386 @default.
- W1572311852 hasRelatedWork W2117297757 @default.
- W1572311852 hasRelatedWork W2158650944 @default.
- W1572311852 hasRelatedWork W2175692750 @default.
- W1572311852 hasRelatedWork W2336345565 @default.
- W1572311852 hasRelatedWork W2468179198 @default.
- W1572311852 hasRelatedWork W2604945379 @default.
- W1572311852 hasRelatedWork W2694027581 @default.
- W1572311852 hasRelatedWork W304220975 @default.
- W1572311852 hasRelatedWork W3084627350 @default.
- W1572311852 hasRelatedWork W3108752948 @default.
- W1572311852 hasRelatedWork W3140281301 @default.
- W1572311852 isParatext "false" @default.
- W1572311852 isRetracted "false" @default.
- W1572311852 magId "1572311852" @default.
- W1572311852 workType "book-chapter" @default.