Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569306673> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1569306673 endingPage "382" @default.
- W1569306673 startingPage "367" @default.
- W1569306673 abstract "In this paper we present a probabilistic extension of LOTOS which is upward compatible with LOTOS. We present testing semantics for the reactive and generative models described in [vGSST90]. While there is a certain lose of the meaning of probabilities in the reactive model, testing with probabilistic tests proves to be too strong because it does not relate behavior expressions which we expect to be equivalent. This is why we introduce the limited generative model, where tests are not allowed to have explicit probabilities. We give a fully abstract characterization for the reactive model, while we give alternative characterizations (based on a set of essential tests) for the generative and limited generative models. We also present some algebraic laws for each of the models, including some laws which establish the difference between the three models." @default.
- W1569306673 created "2016-06-24" @default.
- W1569306673 creator A5024107021 @default.
- W1569306673 creator A5077617115 @default.
- W1569306673 date "1996-01-01" @default.
- W1569306673 modified "2023-10-02" @default.
- W1569306673 title "Testing Semantics for Probabilistic LOTOS" @default.
- W1569306673 cites W1854096047 @default.
- W1569306673 cites W1978469611 @default.
- W1569306673 cites W2011771887 @default.
- W1569306673 cites W2088903792 @default.
- W1569306673 cites W2137865376 @default.
- W1569306673 doi "https://doi.org/10.1007/978-0-387-34945-9_27" @default.
- W1569306673 hasPublicationYear "1996" @default.
- W1569306673 type Work @default.
- W1569306673 sameAs 1569306673 @default.
- W1569306673 citedByCount "13" @default.
- W1569306673 countsByYear W15693066732013 @default.
- W1569306673 crossrefType "book-chapter" @default.
- W1569306673 hasAuthorship W1569306673A5024107021 @default.
- W1569306673 hasAuthorship W1569306673A5077617115 @default.
- W1569306673 hasBestOaLocation W15693066731 @default.
- W1569306673 hasConcept C114289077 @default.
- W1569306673 hasConcept C134306372 @default.
- W1569306673 hasConcept C154945302 @default.
- W1569306673 hasConcept C167966045 @default.
- W1569306673 hasConcept C171250308 @default.
- W1569306673 hasConcept C177264268 @default.
- W1569306673 hasConcept C184337299 @default.
- W1569306673 hasConcept C192562407 @default.
- W1569306673 hasConcept C199360897 @default.
- W1569306673 hasConcept C2778029271 @default.
- W1569306673 hasConcept C2780841128 @default.
- W1569306673 hasConcept C33923547 @default.
- W1569306673 hasConcept C39890363 @default.
- W1569306673 hasConcept C41008148 @default.
- W1569306673 hasConcept C49937458 @default.
- W1569306673 hasConcept C80444323 @default.
- W1569306673 hasConcept C9376300 @default.
- W1569306673 hasConceptScore W1569306673C114289077 @default.
- W1569306673 hasConceptScore W1569306673C134306372 @default.
- W1569306673 hasConceptScore W1569306673C154945302 @default.
- W1569306673 hasConceptScore W1569306673C167966045 @default.
- W1569306673 hasConceptScore W1569306673C171250308 @default.
- W1569306673 hasConceptScore W1569306673C177264268 @default.
- W1569306673 hasConceptScore W1569306673C184337299 @default.
- W1569306673 hasConceptScore W1569306673C192562407 @default.
- W1569306673 hasConceptScore W1569306673C199360897 @default.
- W1569306673 hasConceptScore W1569306673C2778029271 @default.
- W1569306673 hasConceptScore W1569306673C2780841128 @default.
- W1569306673 hasConceptScore W1569306673C33923547 @default.
- W1569306673 hasConceptScore W1569306673C39890363 @default.
- W1569306673 hasConceptScore W1569306673C41008148 @default.
- W1569306673 hasConceptScore W1569306673C49937458 @default.
- W1569306673 hasConceptScore W1569306673C80444323 @default.
- W1569306673 hasConceptScore W1569306673C9376300 @default.
- W1569306673 hasLocation W15693066731 @default.
- W1569306673 hasOpenAccess W1569306673 @default.
- W1569306673 hasPrimaryLocation W15693066731 @default.
- W1569306673 hasRelatedWork W1569306673 @default.
- W1569306673 hasRelatedWork W1855927527 @default.
- W1569306673 hasRelatedWork W2266807369 @default.
- W1569306673 hasRelatedWork W2342095440 @default.
- W1569306673 hasRelatedWork W2993014927 @default.
- W1569306673 hasRelatedWork W2994947658 @default.
- W1569306673 hasRelatedWork W3097649562 @default.
- W1569306673 hasRelatedWork W3201172630 @default.
- W1569306673 hasRelatedWork W4250918063 @default.
- W1569306673 hasRelatedWork W4313007700 @default.
- W1569306673 isParatext "false" @default.
- W1569306673 isRetracted "false" @default.
- W1569306673 magId "1569306673" @default.
- W1569306673 workType "book-chapter" @default.