Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384615943> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4384615943 abstract "We introduce contextual behavioural metrics (CBMs) as a novel way of measuring the discrepancy in behaviour between processes, taking into account both quantitative aspects and contextual information. This way, process distances by construction take the environment into account: two (non-equivalent) processes may still exhibit very similar behaviour in some contexts, e.g., when certain actions are never performed. We first show how CBMs capture many well-known notions of equivalence and metric, including Larsen's environmental parametrized bisimulation. We then study compositional properties of CBMs with respect to some common process algebraic operators, namely prefixing, restriction, non-deterministic sum, parallel composition and replication." @default.
- W4384615943 created "2023-07-18" @default.
- W4384615943 creator A5034330560 @default.
- W4384615943 creator A5084450516 @default.
- W4384615943 date "2023-07-14" @default.
- W4384615943 modified "2023-09-27" @default.
- W4384615943 title "Contextual Behavioural Metrics (Extended Version)" @default.
- W4384615943 doi "https://doi.org/10.48550/arxiv.2307.07400" @default.
- W4384615943 hasPublicationYear "2023" @default.
- W4384615943 type Work @default.
- W4384615943 citedByCount "0" @default.
- W4384615943 crossrefType "posted-content" @default.
- W4384615943 hasAuthorship W4384615943A5034330560 @default.
- W4384615943 hasAuthorship W4384615943A5084450516 @default.
- W4384615943 hasBestOaLocation W43846159431 @default.
- W4384615943 hasConcept C105795698 @default.
- W4384615943 hasConcept C118615104 @default.
- W4384615943 hasConcept C12590798 @default.
- W4384615943 hasConcept C127413603 @default.
- W4384615943 hasConcept C135315306 @default.
- W4384615943 hasConcept C138885662 @default.
- W4384615943 hasConcept C176217482 @default.
- W4384615943 hasConcept C199360897 @default.
- W4384615943 hasConcept C21547014 @default.
- W4384615943 hasConcept C2780069185 @default.
- W4384615943 hasConcept C33923547 @default.
- W4384615943 hasConcept C40231798 @default.
- W4384615943 hasConcept C41008148 @default.
- W4384615943 hasConcept C41895202 @default.
- W4384615943 hasConcept C80444323 @default.
- W4384615943 hasConcept C98045186 @default.
- W4384615943 hasConceptScore W4384615943C105795698 @default.
- W4384615943 hasConceptScore W4384615943C118615104 @default.
- W4384615943 hasConceptScore W4384615943C12590798 @default.
- W4384615943 hasConceptScore W4384615943C127413603 @default.
- W4384615943 hasConceptScore W4384615943C135315306 @default.
- W4384615943 hasConceptScore W4384615943C138885662 @default.
- W4384615943 hasConceptScore W4384615943C176217482 @default.
- W4384615943 hasConceptScore W4384615943C199360897 @default.
- W4384615943 hasConceptScore W4384615943C21547014 @default.
- W4384615943 hasConceptScore W4384615943C2780069185 @default.
- W4384615943 hasConceptScore W4384615943C33923547 @default.
- W4384615943 hasConceptScore W4384615943C40231798 @default.
- W4384615943 hasConceptScore W4384615943C41008148 @default.
- W4384615943 hasConceptScore W4384615943C41895202 @default.
- W4384615943 hasConceptScore W4384615943C80444323 @default.
- W4384615943 hasConceptScore W4384615943C98045186 @default.
- W4384615943 hasLocation W43846159431 @default.
- W4384615943 hasOpenAccess W4384615943 @default.
- W4384615943 hasPrimaryLocation W43846159431 @default.
- W4384615943 hasRelatedWork W1804005701 @default.
- W4384615943 hasRelatedWork W1888841230 @default.
- W4384615943 hasRelatedWork W2030888138 @default.
- W4384615943 hasRelatedWork W2035669412 @default.
- W4384615943 hasRelatedWork W2040368499 @default.
- W4384615943 hasRelatedWork W2069441293 @default.
- W4384615943 hasRelatedWork W2085026104 @default.
- W4384615943 hasRelatedWork W2348507444 @default.
- W4384615943 hasRelatedWork W4205777715 @default.
- W4384615943 hasRelatedWork W4207042428 @default.
- W4384615943 isParatext "false" @default.
- W4384615943 isRetracted "false" @default.
- W4384615943 workType "article" @default.