Matches in SemOpenAlex for { <https://semopenalex.org/work/W3193175058> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3193175058 abstract "Hyperproperties are correctness conditions for labelled transition systems that are more expressive than traditional trace properties, with particular relevance to security. Recently, Attiya and Enea studied a notion of strong observational refinement that preserves all hyperproperties. They analyse the correspondence between forward simulation and strong observational refinement in a setting with finite traces only. We study this correspondence in a setting with both finite and infinite traces. In particular, we show that forward simulation does not preserve hyperliveness properties in this setting. We extend the forward simulation proof obligation with a progress condition, and prove that this progressive forward simulation does imply strong observational refinement." @default.
- W3193175058 created "2021-08-16" @default.
- W3193175058 creator A5012214843 @default.
- W3193175058 creator A5020041058 @default.
- W3193175058 creator A5046915601 @default.
- W3193175058 creator A5060549428 @default.
- W3193175058 creator A5075161500 @default.
- W3193175058 date "2021-01-01" @default.
- W3193175058 modified "2023-10-03" @default.
- W3193175058 title "On Strong Observational Refinement and Forward Simulation" @default.
- W3193175058 hasPublicationYear "2021" @default.
- W3193175058 type Work @default.
- W3193175058 sameAs 3193175058 @default.
- W3193175058 citedByCount "0" @default.
- W3193175058 crossrefType "proceedings-article" @default.
- W3193175058 hasAuthorship W3193175058A5012214843 @default.
- W3193175058 hasAuthorship W3193175058A5020041058 @default.
- W3193175058 hasAuthorship W3193175058A5046915601 @default.
- W3193175058 hasAuthorship W3193175058A5060549428 @default.
- W3193175058 hasAuthorship W3193175058A5075161500 @default.
- W3193175058 hasConcept C105795698 @default.
- W3193175058 hasConcept C11413529 @default.
- W3193175058 hasConcept C138885662 @default.
- W3193175058 hasConcept C158154518 @default.
- W3193175058 hasConcept C17744445 @default.
- W3193175058 hasConcept C199539241 @default.
- W3193175058 hasConcept C23131810 @default.
- W3193175058 hasConcept C2778447849 @default.
- W3193175058 hasConcept C33923547 @default.
- W3193175058 hasConcept C41008148 @default.
- W3193175058 hasConcept C41895202 @default.
- W3193175058 hasConcept C55439883 @default.
- W3193175058 hasConcept C75291252 @default.
- W3193175058 hasConcept C80444323 @default.
- W3193175058 hasConceptScore W3193175058C105795698 @default.
- W3193175058 hasConceptScore W3193175058C11413529 @default.
- W3193175058 hasConceptScore W3193175058C138885662 @default.
- W3193175058 hasConceptScore W3193175058C158154518 @default.
- W3193175058 hasConceptScore W3193175058C17744445 @default.
- W3193175058 hasConceptScore W3193175058C199539241 @default.
- W3193175058 hasConceptScore W3193175058C23131810 @default.
- W3193175058 hasConceptScore W3193175058C2778447849 @default.
- W3193175058 hasConceptScore W3193175058C33923547 @default.
- W3193175058 hasConceptScore W3193175058C41008148 @default.
- W3193175058 hasConceptScore W3193175058C41895202 @default.
- W3193175058 hasConceptScore W3193175058C55439883 @default.
- W3193175058 hasConceptScore W3193175058C75291252 @default.
- W3193175058 hasConceptScore W3193175058C80444323 @default.
- W3193175058 hasLocation W31931750581 @default.
- W3193175058 hasOpenAccess W3193175058 @default.
- W3193175058 hasPrimaryLocation W31931750581 @default.
- W3193175058 hasRelatedWork W10211586 @default.
- W3193175058 hasRelatedWork W1486939289 @default.
- W3193175058 hasRelatedWork W1543732613 @default.
- W3193175058 hasRelatedWork W1667182944 @default.
- W3193175058 hasRelatedWork W1976331012 @default.
- W3193175058 hasRelatedWork W2090775044 @default.
- W3193175058 hasRelatedWork W2095211351 @default.
- W3193175058 hasRelatedWork W2106115868 @default.
- W3193175058 hasRelatedWork W2127475685 @default.
- W3193175058 hasRelatedWork W2129163528 @default.
- W3193175058 hasRelatedWork W2182715170 @default.
- W3193175058 hasRelatedWork W2216182229 @default.
- W3193175058 hasRelatedWork W2390661617 @default.
- W3193175058 hasRelatedWork W2489612911 @default.
- W3193175058 hasRelatedWork W2585942065 @default.
- W3193175058 hasRelatedWork W2614480107 @default.
- W3193175058 hasRelatedWork W2797499459 @default.
- W3193175058 hasRelatedWork W2914717517 @default.
- W3193175058 hasRelatedWork W2949804971 @default.
- W3193175058 hasRelatedWork W3098578101 @default.
- W3193175058 isParatext "false" @default.
- W3193175058 isRetracted "false" @default.
- W3193175058 magId "3193175058" @default.
- W3193175058 workType "article" @default.