Similar Items: Typing Copyless Message Passing
- Propositional Dynamic Logic for Message-Passing Systems
- Permission-Based Separation Logic for Message-Passing Concurrency
- Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
- Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
- Transformers from Diffusion: A Unified Framework for Neural Message Passing
- Inferring Change Points in High-Dimensional Regression via Approximate Message Passing