A Coq-mechanized, LTS-based logical relation certifies protocol compliance for heterogeneous message-passing systems, with a fundamental theorem for session-typed processes.
Regrading policies for flexible information flow control in session-typed concurrency
1 Pith paper cite this work, alongside 2 external citations. Polarity classification is still indexing.
1
Pith paper citing it
2
external citations · OpenAlex
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Language-Agnostic Logical Relation for Message-Passing Protocols
A Coq-mechanized, LTS-based logical relation certifies protocol compliance for heterogeneous message-passing systems, with a fundamental theorem for session-typed processes.