Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912462169> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2912462169 endingPage "322" @default.
- W2912462169 startingPage "309" @default.
- W2912462169 abstract "We introduce a notion of approximate bisimilarity in order to be able to reason about the approximate equivalence of processes. Approximate bisimilarity is based on the notion of bisimulation index for labelled transition systems. We establish some basic properties of bisimulation indexes and give a Hennessy-Milner logical characterization of approximate bisimilarity. As an application we show how to describe approximate correctness of real time systems by giving an example in real time ACP." @default.
- W2912462169 created "2019-02-21" @default.
- W2912462169 creator A5023088481 @default.
- W2912462169 creator A5042265989 @default.
- W2912462169 date "2000-01-01" @default.
- W2912462169 modified "2023-10-16" @default.
- W2912462169 title "Approximate Bisimilarity" @default.
- W2912462169 cites W2023309117 @default.
- W2912462169 cites W2137865376 @default.
- W2912462169 cites W2138549619 @default.
- W2912462169 cites W2140920629 @default.
- W2912462169 cites W2245053867 @default.
- W2912462169 cites W3820865 @default.
- W2912462169 cites W41705835 @default.
- W2912462169 cites W4230427873 @default.
- W2912462169 doi "https://doi.org/10.1007/3-540-45499-3_23" @default.
- W2912462169 hasPublicationYear "2000" @default.
- W2912462169 type Work @default.
- W2912462169 sameAs 2912462169 @default.
- W2912462169 citedByCount "32" @default.
- W2912462169 countsByYear W29124621692012 @default.
- W2912462169 countsByYear W29124621692013 @default.
- W2912462169 countsByYear W29124621692014 @default.
- W2912462169 countsByYear W29124621692015 @default.
- W2912462169 countsByYear W29124621692017 @default.
- W2912462169 countsByYear W29124621692018 @default.
- W2912462169 countsByYear W29124621692020 @default.
- W2912462169 countsByYear W29124621692022 @default.
- W2912462169 countsByYear W29124621692023 @default.
- W2912462169 crossrefType "book-chapter" @default.
- W2912462169 hasAuthorship W2912462169A5023088481 @default.
- W2912462169 hasAuthorship W2912462169A5042265989 @default.
- W2912462169 hasConcept C11413529 @default.
- W2912462169 hasConcept C118615104 @default.
- W2912462169 hasConcept C120665830 @default.
- W2912462169 hasConcept C121332964 @default.
- W2912462169 hasConcept C135315306 @default.
- W2912462169 hasConcept C2779167558 @default.
- W2912462169 hasConcept C2780069185 @default.
- W2912462169 hasConcept C2780841128 @default.
- W2912462169 hasConcept C33923547 @default.
- W2912462169 hasConcept C41008148 @default.
- W2912462169 hasConcept C55439883 @default.
- W2912462169 hasConceptScore W2912462169C11413529 @default.
- W2912462169 hasConceptScore W2912462169C118615104 @default.
- W2912462169 hasConceptScore W2912462169C120665830 @default.
- W2912462169 hasConceptScore W2912462169C121332964 @default.
- W2912462169 hasConceptScore W2912462169C135315306 @default.
- W2912462169 hasConceptScore W2912462169C2779167558 @default.
- W2912462169 hasConceptScore W2912462169C2780069185 @default.
- W2912462169 hasConceptScore W2912462169C2780841128 @default.
- W2912462169 hasConceptScore W2912462169C33923547 @default.
- W2912462169 hasConceptScore W2912462169C41008148 @default.
- W2912462169 hasConceptScore W2912462169C55439883 @default.
- W2912462169 hasLocation W29124621691 @default.
- W2912462169 hasOpenAccess W2912462169 @default.
- W2912462169 hasPrimaryLocation W29124621691 @default.
- W2912462169 hasRelatedWork W1500812389 @default.
- W2912462169 hasRelatedWork W1554045856 @default.
- W2912462169 hasRelatedWork W1608609850 @default.
- W2912462169 hasRelatedWork W2008781243 @default.
- W2912462169 hasRelatedWork W204839799 @default.
- W2912462169 hasRelatedWork W2063608931 @default.
- W2912462169 hasRelatedWork W2136070637 @default.
- W2912462169 hasRelatedWork W2155105871 @default.
- W2912462169 hasRelatedWork W2177779225 @default.
- W2912462169 hasRelatedWork W2912462169 @default.
- W2912462169 isParatext "false" @default.
- W2912462169 isRetracted "false" @default.
- W2912462169 magId "2912462169" @default.
- W2912462169 workType "book-chapter" @default.