Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294008875> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4294008875 abstract "Program equivalence is the fulcrum for reasoning about and proving properties of programs. For noninterference, for example, program equivalence up to the secrecy level of an observer is shown. A powerful enabler for such proofs are logical relations. Logical relations only recently were adopted for session types--but exclusively for terminating languages. This paper scales logical relations to recursive session types. It develops a logical relation for progress-sensitive noninterference for linear session types, tackling the challenges non-termination and concurrency pose. The contributions include secrecy-polymorphic processes and the logical relation with metatheory. A distinguishing feature is the choice of step index of the logical relation, allowing for a natural proof of transitivity and soundness." @default.
- W4294008875 created "2022-09-01" @default.
- W4294008875 creator A5037521041 @default.
- W4294008875 creator A5083850156 @default.
- W4294008875 date "2022-08-29" @default.
- W4294008875 modified "2023-09-26" @default.
- W4294008875 title "Recursive Session Logical Relations" @default.
- W4294008875 doi "https://doi.org/10.48550/arxiv.2208.13741" @default.
- W4294008875 hasPublicationYear "2022" @default.
- W4294008875 type Work @default.
- W4294008875 citedByCount "0" @default.
- W4294008875 crossrefType "posted-content" @default.
- W4294008875 hasAuthorship W4294008875A5037521041 @default.
- W4294008875 hasAuthorship W4294008875A5083850156 @default.
- W4294008875 hasBestOaLocation W42940088751 @default.
- W4294008875 hasConcept C108710211 @default.
- W4294008875 hasConcept C11413529 @default.
- W4294008875 hasConcept C114614502 @default.
- W4294008875 hasConcept C118615104 @default.
- W4294008875 hasConcept C124101348 @default.
- W4294008875 hasConcept C136764020 @default.
- W4294008875 hasConcept C156103551 @default.
- W4294008875 hasConcept C191399111 @default.
- W4294008875 hasConcept C193702766 @default.
- W4294008875 hasConcept C199360897 @default.
- W4294008875 hasConcept C20693621 @default.
- W4294008875 hasConcept C2524010 @default.
- W4294008875 hasConcept C25343380 @default.
- W4294008875 hasConcept C2776452267 @default.
- W4294008875 hasConcept C2779182362 @default.
- W4294008875 hasConcept C2780069185 @default.
- W4294008875 hasConcept C33923547 @default.
- W4294008875 hasConcept C38652104 @default.
- W4294008875 hasConcept C39387531 @default.
- W4294008875 hasConcept C39920170 @default.
- W4294008875 hasConcept C41008148 @default.
- W4294008875 hasConcept C56949724 @default.
- W4294008875 hasConcept C65180967 @default.
- W4294008875 hasConcept C80444323 @default.
- W4294008875 hasConceptScore W4294008875C108710211 @default.
- W4294008875 hasConceptScore W4294008875C11413529 @default.
- W4294008875 hasConceptScore W4294008875C114614502 @default.
- W4294008875 hasConceptScore W4294008875C118615104 @default.
- W4294008875 hasConceptScore W4294008875C124101348 @default.
- W4294008875 hasConceptScore W4294008875C136764020 @default.
- W4294008875 hasConceptScore W4294008875C156103551 @default.
- W4294008875 hasConceptScore W4294008875C191399111 @default.
- W4294008875 hasConceptScore W4294008875C193702766 @default.
- W4294008875 hasConceptScore W4294008875C199360897 @default.
- W4294008875 hasConceptScore W4294008875C20693621 @default.
- W4294008875 hasConceptScore W4294008875C2524010 @default.
- W4294008875 hasConceptScore W4294008875C25343380 @default.
- W4294008875 hasConceptScore W4294008875C2776452267 @default.
- W4294008875 hasConceptScore W4294008875C2779182362 @default.
- W4294008875 hasConceptScore W4294008875C2780069185 @default.
- W4294008875 hasConceptScore W4294008875C33923547 @default.
- W4294008875 hasConceptScore W4294008875C38652104 @default.
- W4294008875 hasConceptScore W4294008875C39387531 @default.
- W4294008875 hasConceptScore W4294008875C39920170 @default.
- W4294008875 hasConceptScore W4294008875C41008148 @default.
- W4294008875 hasConceptScore W4294008875C56949724 @default.
- W4294008875 hasConceptScore W4294008875C65180967 @default.
- W4294008875 hasConceptScore W4294008875C80444323 @default.
- W4294008875 hasLocation W42940088751 @default.
- W4294008875 hasOpenAccess W4294008875 @default.
- W4294008875 hasPrimaryLocation W42940088751 @default.
- W4294008875 hasRelatedWork W1994118386 @default.
- W4294008875 hasRelatedWork W2048467032 @default.
- W4294008875 hasRelatedWork W2053547980 @default.
- W4294008875 hasRelatedWork W2158016185 @default.
- W4294008875 hasRelatedWork W2391083822 @default.
- W4294008875 hasRelatedWork W2552464480 @default.
- W4294008875 hasRelatedWork W3018138097 @default.
- W4294008875 hasRelatedWork W3103485881 @default.
- W4294008875 hasRelatedWork W3201112613 @default.
- W4294008875 hasRelatedWork W4294008875 @default.
- W4294008875 isParatext "false" @default.
- W4294008875 isRetracted "false" @default.
- W4294008875 workType "article" @default.