A message-passing interpretation of adjoint logic
From MaRDI portal
Publication:2035649
DOI10.1016/J.JLAMP.2020.100637OpenAlexW3113536295MaRDI QIDQ2035649FDOQ2035649
Authors: Klaas Pruiksma, Frank Pfenning 
Publication date: 25 June 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.01290
Recommendations
- A modal logic for message passing processes
- Adjoint interpretations of sentential calculi
- Propositional Dynamic Logic for Message-Passing Systems
- Propositional dynamic logic for message-passing systems
- scientific article; zbMATH DE number 2085246
- The logic of message-passing
- Beyond multi-adjoint logic programming
- Modal logic and distributed message passing automata
Cites Work
- Practical affine types
- Structural proof theory. With an appendix by Aarne Ranta
- Title not available (Why is that?)
- Session types as intuitionistic linear propositions
- Linear type theory for asynchronous session types
- Title not available (Why is that?)
- Relating state-based and process-based concurrency through linear logic (full-version)
- Propositions as sessions
- Title not available (Why is that?)
- Linear logic propositions as session types
- Fundamentals of session types
- Higher-order processes, functions, and sessions: a monadic integration
- A simple library implementation of binary sessions
- Polarized Substructural Session Types
- Linearity, control effects, and behavioral types
- Cut reduction in linear logic as asynchronous session-typed communication
- Adjoint logic with a 2-category of modes
Cited In (7)
- Adjoint interpretations of sentential calculi
- Title not available (Why is that?)
- Fairness and communication-based semantics for session-typed languages
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Deadlock freedom for asynchronous and cyclic process networks
- Back to futures
- Modal crash types for intermittent computing
Uses Software
This page was built for publication: A message-passing interpretation of adjoint logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035649)
