Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913266263> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2913266263 abstract "We introduce a quantitative concept for bisimulations by integrating the notion of amortisation (cf. [3]). This allows us to make behavioural comparisons between nondeterministic systems that are inherently non-terminating and to analyse the relative long-term costs of deploying them. To this end, we conservatively extend CCS to include a new set of cost-based actions and define a cost-based quantitative relation called amortised bisimulation. We demonstrate the applicability of our approach by two case studies. In both cases the cost of additional administration is shown to amortise. We furthermore show that the amortised preorder for speed introduced in [6] is naturally expressible in our setting." @default.
- W2913266263 created "2019-02-21" @default.
- W2913266263 creator A5008388189 @default.
- W2913266263 creator A5076207100 @default.
- W2913266263 date "2005-01-01" @default.
- W2913266263 modified "2023-09-24" @default.
- W2913266263 title "Amortised Bisimulations" @default.
- W2913266263 cites W1547562281 @default.
- W2913266263 cites W1575288406 @default.
- W2913266263 cites W1969833114 @default.
- W2913266263 cites W2001026449 @default.
- W2913266263 cites W2022360370 @default.
- W2913266263 cites W2107189908 @default.
- W2913266263 cites W2137865376 @default.
- W2913266263 cites W4247015245 @default.
- W2913266263 doi "https://doi.org/10.1007/11562436_24" @default.
- W2913266263 hasPublicationYear "2005" @default.
- W2913266263 type Work @default.
- W2913266263 sameAs 2913266263 @default.
- W2913266263 citedByCount "23" @default.
- W2913266263 countsByYear W29132662632012 @default.
- W2913266263 countsByYear W29132662632013 @default.
- W2913266263 countsByYear W29132662632014 @default.
- W2913266263 countsByYear W29132662632016 @default.
- W2913266263 countsByYear W29132662632017 @default.
- W2913266263 countsByYear W29132662632020 @default.
- W2913266263 crossrefType "book-chapter" @default.
- W2913266263 hasAuthorship W2913266263A5008388189 @default.
- W2913266263 hasAuthorship W2913266263A5076207100 @default.
- W2913266263 hasBestOaLocation W29132662631 @default.
- W2913266263 hasConcept C11413529 @default.
- W2913266263 hasConcept C118615104 @default.
- W2913266263 hasConcept C121332964 @default.
- W2913266263 hasConcept C124101348 @default.
- W2913266263 hasConcept C135315306 @default.
- W2913266263 hasConcept C176181172 @default.
- W2913266263 hasConcept C177264268 @default.
- W2913266263 hasConcept C199360897 @default.
- W2913266263 hasConcept C2333172 @default.
- W2913266263 hasConcept C25343380 @default.
- W2913266263 hasConcept C33923547 @default.
- W2913266263 hasConcept C41008148 @default.
- W2913266263 hasConcept C61797465 @default.
- W2913266263 hasConcept C62520636 @default.
- W2913266263 hasConcept C80444323 @default.
- W2913266263 hasConceptScore W2913266263C11413529 @default.
- W2913266263 hasConceptScore W2913266263C118615104 @default.
- W2913266263 hasConceptScore W2913266263C121332964 @default.
- W2913266263 hasConceptScore W2913266263C124101348 @default.
- W2913266263 hasConceptScore W2913266263C135315306 @default.
- W2913266263 hasConceptScore W2913266263C176181172 @default.
- W2913266263 hasConceptScore W2913266263C177264268 @default.
- W2913266263 hasConceptScore W2913266263C199360897 @default.
- W2913266263 hasConceptScore W2913266263C2333172 @default.
- W2913266263 hasConceptScore W2913266263C25343380 @default.
- W2913266263 hasConceptScore W2913266263C33923547 @default.
- W2913266263 hasConceptScore W2913266263C41008148 @default.
- W2913266263 hasConceptScore W2913266263C61797465 @default.
- W2913266263 hasConceptScore W2913266263C62520636 @default.
- W2913266263 hasConceptScore W2913266263C80444323 @default.
- W2913266263 hasLocation W29132662631 @default.
- W2913266263 hasLocation W29132662632 @default.
- W2913266263 hasOpenAccess W2913266263 @default.
- W2913266263 hasPrimaryLocation W29132662631 @default.
- W2913266263 hasRelatedWork W13082435 @default.
- W2913266263 hasRelatedWork W160373958 @default.
- W2913266263 hasRelatedWork W1801993675 @default.
- W2913266263 hasRelatedWork W1972437902 @default.
- W2913266263 hasRelatedWork W2358668433 @default.
- W2913266263 hasRelatedWork W2376932109 @default.
- W2913266263 hasRelatedWork W2390279801 @default.
- W2913266263 hasRelatedWork W2748952813 @default.
- W2913266263 hasRelatedWork W2899084033 @default.
- W2913266263 hasRelatedWork W38902447 @default.
- W2913266263 isParatext "false" @default.
- W2913266263 isRetracted "false" @default.
- W2913266263 magId "2913266263" @default.
- W2913266263 workType "book-chapter" @default.