Matches in SemOpenAlex for { <https://semopenalex.org/work/W2266544809> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2266544809 endingPage "168" @default.
- W2266544809 startingPage "155" @default.
- W2266544809 abstract "Compositional reasoning over probabilistic systems wrt. behavioral metric semantics requires the language operators to be uniformly continuous. We study which SOS specifications define uniformly continuous operators wrt. bisimulation metric semantics. We propose an expressive specification format that allows us to specify operators of any given modulus of continuity. Moreover, we provide a method that allows to derive from any given specification the modulus of continuity of its operators." @default.
- W2266544809 created "2016-06-24" @default.
- W2266544809 creator A5060188970 @default.
- W2266544809 creator A5083347350 @default.
- W2266544809 date "2015-01-01" @default.
- W2266544809 modified "2023-09-23" @default.
- W2266544809 title "SOS specifications of probabilistic systems by uniformly continuous operators" @default.
- W2266544809 doi "https://doi.org/10.4230/lipics.concur.2015.155" @default.
- W2266544809 hasPublicationYear "2015" @default.
- W2266544809 type Work @default.
- W2266544809 sameAs 2266544809 @default.
- W2266544809 citedByCount "4" @default.
- W2266544809 countsByYear W22665448092015 @default.
- W2266544809 countsByYear W22665448092016 @default.
- W2266544809 countsByYear W22665448092017 @default.
- W2266544809 crossrefType "proceedings-article" @default.
- W2266544809 hasAuthorship W2266544809A5060188970 @default.
- W2266544809 hasAuthorship W2266544809A5083347350 @default.
- W2266544809 hasConcept C11413529 @default.
- W2266544809 hasConcept C118615104 @default.
- W2266544809 hasConcept C129301229 @default.
- W2266544809 hasConcept C135315306 @default.
- W2266544809 hasConcept C154945302 @default.
- W2266544809 hasConcept C156325763 @default.
- W2266544809 hasConcept C162324750 @default.
- W2266544809 hasConcept C176217482 @default.
- W2266544809 hasConcept C184337299 @default.
- W2266544809 hasConcept C18903297 @default.
- W2266544809 hasConcept C198043062 @default.
- W2266544809 hasConcept C199360897 @default.
- W2266544809 hasConcept C21547014 @default.
- W2266544809 hasConcept C2777299769 @default.
- W2266544809 hasConcept C3098717 @default.
- W2266544809 hasConcept C33923547 @default.
- W2266544809 hasConcept C41008148 @default.
- W2266544809 hasConcept C49937458 @default.
- W2266544809 hasConcept C80444323 @default.
- W2266544809 hasConcept C86803240 @default.
- W2266544809 hasConceptScore W2266544809C11413529 @default.
- W2266544809 hasConceptScore W2266544809C118615104 @default.
- W2266544809 hasConceptScore W2266544809C129301229 @default.
- W2266544809 hasConceptScore W2266544809C135315306 @default.
- W2266544809 hasConceptScore W2266544809C154945302 @default.
- W2266544809 hasConceptScore W2266544809C156325763 @default.
- W2266544809 hasConceptScore W2266544809C162324750 @default.
- W2266544809 hasConceptScore W2266544809C176217482 @default.
- W2266544809 hasConceptScore W2266544809C184337299 @default.
- W2266544809 hasConceptScore W2266544809C18903297 @default.
- W2266544809 hasConceptScore W2266544809C198043062 @default.
- W2266544809 hasConceptScore W2266544809C199360897 @default.
- W2266544809 hasConceptScore W2266544809C21547014 @default.
- W2266544809 hasConceptScore W2266544809C2777299769 @default.
- W2266544809 hasConceptScore W2266544809C3098717 @default.
- W2266544809 hasConceptScore W2266544809C33923547 @default.
- W2266544809 hasConceptScore W2266544809C41008148 @default.
- W2266544809 hasConceptScore W2266544809C49937458 @default.
- W2266544809 hasConceptScore W2266544809C80444323 @default.
- W2266544809 hasConceptScore W2266544809C86803240 @default.
- W2266544809 hasLocation W22665448091 @default.
- W2266544809 hasOpenAccess W2266544809 @default.
- W2266544809 hasPrimaryLocation W22665448091 @default.
- W2266544809 hasRelatedWork W1505927408 @default.
- W2266544809 hasRelatedWork W1646328921 @default.
- W2266544809 hasRelatedWork W173641204 @default.
- W2266544809 hasRelatedWork W1850900101 @default.
- W2266544809 hasRelatedWork W18942403 @default.
- W2266544809 hasRelatedWork W1976268573 @default.
- W2266544809 hasRelatedWork W1978469611 @default.
- W2266544809 hasRelatedWork W1994350081 @default.
- W2266544809 hasRelatedWork W2015172530 @default.
- W2266544809 hasRelatedWork W2063972032 @default.
- W2266544809 hasRelatedWork W2071882940 @default.
- W2266544809 hasRelatedWork W2107471150 @default.
- W2266544809 hasRelatedWork W2110601664 @default.
- W2266544809 hasRelatedWork W2135115058 @default.
- W2266544809 hasRelatedWork W2136537428 @default.
- W2266544809 hasRelatedWork W2154695063 @default.
- W2266544809 hasRelatedWork W2287341768 @default.
- W2266544809 hasRelatedWork W2550627746 @default.
- W2266544809 hasRelatedWork W3101533681 @default.
- W2266544809 hasRelatedWork W47800957 @default.
- W2266544809 hasVolume "42" @default.
- W2266544809 isParatext "false" @default.
- W2266544809 isRetracted "false" @default.
- W2266544809 magId "2266544809" @default.
- W2266544809 workType "article" @default.