Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992008267> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1992008267 abstract "We propose a language for testing concurrent processes and examine its strength in terms of the processes that are distinguished by a test. By using probabilistic transition systems as the underlying semantic model, we show how a testing algorithm with a probability arbitrary close to 1 can distinguish processes that are not bisimulation equivalent. We also show a similar result (in a slightly stronger form) for a new process relation called 2/3-bisimulation — lying strictly between that of simulation and bisimulation. Finally, the ultimately strength of the testing language is shown to identify an even stronger process relation, called probabilistic bisimulation." @default.
- W1992008267 created "2016-06-24" @default.
- W1992008267 creator A5054592990 @default.
- W1992008267 creator A5069362159 @default.
- W1992008267 date "1989-01-01" @default.
- W1992008267 modified "2023-10-18" @default.
- W1992008267 title "Bisimulation through probabilistic testing (preliminary report)" @default.
- W1992008267 cites W1487199072 @default.
- W1992008267 cites W1500597325 @default.
- W1992008267 cites W1547562281 @default.
- W1992008267 cites W1978469611 @default.
- W1992008267 cites W1982800675 @default.
- W1992008267 cites W2001659245 @default.
- W1992008267 cites W2001748564 @default.
- W1992008267 cites W2024355065 @default.
- W1992008267 cites W2048826020 @default.
- W1992008267 cites W2071659383 @default.
- W1992008267 cites W2108796478 @default.
- W1992008267 cites W2137865376 @default.
- W1992008267 cites W2157144873 @default.
- W1992008267 cites W2165161585 @default.
- W1992008267 cites W2167004912 @default.
- W1992008267 cites W2171536993 @default.
- W1992008267 cites W2913048148 @default.
- W1992008267 cites W3129277215 @default.
- W1992008267 doi "https://doi.org/10.1145/75277.75307" @default.
- W1992008267 hasPublicationYear "1989" @default.
- W1992008267 type Work @default.
- W1992008267 sameAs 1992008267 @default.
- W1992008267 citedByCount "119" @default.
- W1992008267 countsByYear W19920082672012 @default.
- W1992008267 countsByYear W19920082672013 @default.
- W1992008267 countsByYear W19920082672014 @default.
- W1992008267 countsByYear W19920082672015 @default.
- W1992008267 countsByYear W19920082672016 @default.
- W1992008267 countsByYear W19920082672017 @default.
- W1992008267 countsByYear W19920082672018 @default.
- W1992008267 countsByYear W19920082672019 @default.
- W1992008267 countsByYear W19920082672020 @default.
- W1992008267 countsByYear W19920082672021 @default.
- W1992008267 countsByYear W19920082672022 @default.
- W1992008267 countsByYear W19920082672023 @default.
- W1992008267 crossrefType "proceedings-article" @default.
- W1992008267 hasAuthorship W1992008267A5054592990 @default.
- W1992008267 hasAuthorship W1992008267A5069362159 @default.
- W1992008267 hasBestOaLocation W19920082671 @default.
- W1992008267 hasConcept C135315306 @default.
- W1992008267 hasConcept C154945302 @default.
- W1992008267 hasConcept C41008148 @default.
- W1992008267 hasConcept C49937458 @default.
- W1992008267 hasConcept C80444323 @default.
- W1992008267 hasConceptScore W1992008267C135315306 @default.
- W1992008267 hasConceptScore W1992008267C154945302 @default.
- W1992008267 hasConceptScore W1992008267C41008148 @default.
- W1992008267 hasConceptScore W1992008267C49937458 @default.
- W1992008267 hasConceptScore W1992008267C80444323 @default.
- W1992008267 hasLocation W19920082671 @default.
- W1992008267 hasOpenAccess W1992008267 @default.
- W1992008267 hasPrimaryLocation W19920082671 @default.
- W1992008267 hasRelatedWork W1524401886 @default.
- W1992008267 hasRelatedWork W2124122503 @default.
- W1992008267 hasRelatedWork W2124232232 @default.
- W1992008267 hasRelatedWork W2326316958 @default.
- W1992008267 hasRelatedWork W2348507444 @default.
- W1992008267 hasRelatedWork W2728210909 @default.
- W1992008267 hasRelatedWork W2959774828 @default.
- W1992008267 hasRelatedWork W2963069146 @default.
- W1992008267 hasRelatedWork W3047659890 @default.
- W1992008267 hasRelatedWork W3096633875 @default.
- W1992008267 isParatext "false" @default.
- W1992008267 isRetracted "false" @default.
- W1992008267 magId "1992008267" @default.
- W1992008267 workType "article" @default.