In this paper, we complement and strengthen these results by developing a theory of logical relations. Our development is based on, and is remarkably similar to ...
Abstract. In prior work we proposed an interpretation of intuitionistic linear logic propositions as session types for concurrent processes.
In prior work we proposed an interpretation of intuitionistic linear logic propositions as session types for concurrent processes. The type system obtained ...
Linear logical relations and observational equivalences for ...
www.sciencedirect.com › article › pii
Session-based concurrency provides a foundational approach to communication correctness: concurrent dialogues are structured into basic units called sessions; ...
Linear Logical Relations for Session-Based Concurrency · List of references · Publications that cite this publication.
We investigate strong normalization, confluence, and behavioral equality in the realm of session-based concurrency. These interrelated issues underpin ...
We investigate strong normalization, confluence, and behavioral equality in the realm of session-based concurrency. These interrelated issues underpin ...
We investigate strong normalization, confluence, and behavioral equality in the realm of session-based concurrency. These interrelated issues underpin ...
2023/09/01 · This paper scales logical relations to general recursive session types. It develops a logical relation for progress-sensitive noninterference ( ...
2023/09/01 · This paper scales logical relations to general recursive session types. It develops a logical relation for progress-sensitive noninterference (PSNI)
含まれない: Based | 必須にする:Based