Matches in SemOpenAlex for { <https://semopenalex.org/work/W2757133052> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2757133052 startingPage "16" @default.
- W2757133052 abstract "In the late nineties, Desharnais, Gupta, Jagadeesan and Panangaden presented probabilistic bisimilarity distances on the states of a labelled Markov chain. This provided a quantitative generalisation of probabilistic bisimilarity introduced by Larsen and Skou a decade earlier. In the last decade, several algorithms to approximate and compute these probabilistic bisimilarity distances have been put forward. In this paper, we correct, improve and generalise some of these algorithms. Furthermore, we compare their performance experimentally." @default.
- W2757133052 created "2017-10-06" @default.
- W2757133052 creator A5014089511 @default.
- W2757133052 creator A5018657784 @default.
- W2757133052 date "2017-01-01" @default.
- W2757133052 modified "2023-09-23" @default.
- W2757133052 title "Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains" @default.
- W2757133052 doi "https://doi.org/10.4230/lipics.concur.2017.27" @default.
- W2757133052 hasPublicationYear "2017" @default.
- W2757133052 type Work @default.
- W2757133052 sameAs 2757133052 @default.
- W2757133052 citedByCount "1" @default.
- W2757133052 countsByYear W27571330522022 @default.
- W2757133052 crossrefType "proceedings-article" @default.
- W2757133052 hasAuthorship W2757133052A5014089511 @default.
- W2757133052 hasAuthorship W2757133052A5018657784 @default.
- W2757133052 hasConcept C105795698 @default.
- W2757133052 hasConcept C11413529 @default.
- W2757133052 hasConcept C119857082 @default.
- W2757133052 hasConcept C154945302 @default.
- W2757133052 hasConcept C159886148 @default.
- W2757133052 hasConcept C24404364 @default.
- W2757133052 hasConcept C33923547 @default.
- W2757133052 hasConcept C41008148 @default.
- W2757133052 hasConcept C49937458 @default.
- W2757133052 hasConcept C52063229 @default.
- W2757133052 hasConcept C80444323 @default.
- W2757133052 hasConcept C98763669 @default.
- W2757133052 hasConceptScore W2757133052C105795698 @default.
- W2757133052 hasConceptScore W2757133052C11413529 @default.
- W2757133052 hasConceptScore W2757133052C119857082 @default.
- W2757133052 hasConceptScore W2757133052C154945302 @default.
- W2757133052 hasConceptScore W2757133052C159886148 @default.
- W2757133052 hasConceptScore W2757133052C24404364 @default.
- W2757133052 hasConceptScore W2757133052C33923547 @default.
- W2757133052 hasConceptScore W2757133052C41008148 @default.
- W2757133052 hasConceptScore W2757133052C49937458 @default.
- W2757133052 hasConceptScore W2757133052C52063229 @default.
- W2757133052 hasConceptScore W2757133052C80444323 @default.
- W2757133052 hasConceptScore W2757133052C98763669 @default.
- W2757133052 hasLocation W27571330521 @default.
- W2757133052 hasOpenAccess W2757133052 @default.
- W2757133052 hasPrimaryLocation W27571330521 @default.
- W2757133052 hasRelatedWork W1504009014 @default.
- W2757133052 hasRelatedWork W1505927408 @default.
- W2757133052 hasRelatedWork W2064839890 @default.
- W2757133052 hasRelatedWork W2065703859 @default.
- W2757133052 hasRelatedWork W2108670836 @default.
- W2757133052 hasRelatedWork W2170611159 @default.
- W2757133052 hasRelatedWork W2534853293 @default.
- W2757133052 hasRelatedWork W2569347921 @default.
- W2757133052 hasRelatedWork W2610916331 @default.
- W2757133052 hasRelatedWork W2756502837 @default.
- W2757133052 hasRelatedWork W2768930898 @default.
- W2757133052 hasRelatedWork W2883434572 @default.
- W2757133052 hasRelatedWork W2883844381 @default.
- W2757133052 hasRelatedWork W2912462169 @default.
- W2757133052 hasRelatedWork W2971669726 @default.
- W2757133052 hasRelatedWork W2986444526 @default.
- W2757133052 hasRelatedWork W3013492721 @default.
- W2757133052 hasRelatedWork W3142526198 @default.
- W2757133052 hasRelatedWork W98687480 @default.
- W2757133052 hasRelatedWork W2109768112 @default.
- W2757133052 isParatext "false" @default.
- W2757133052 isRetracted "false" @default.
- W2757133052 magId "2757133052" @default.
- W2757133052 workType "article" @default.