A message-passing interpretation of adjoint logic

DOI10.1016/J.JLAMP.2020.100637MaRDI QIDQ2035649zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1904.01290

Mathematics Subject Classification ID

Computer science (68-XX)

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

• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• A simple library implementation of binary sessions
• Adjoint logic with a 2-category of modes
• Cut reduction in linear logic as asynchronous session-typed communication
• Fundamentals of session types
• Higher-order processes, functions, and sessions: a monadic integration
• Linear logic propositions as session types
• Linear type theory for asynchronous session types
• Linearity, control effects, and behavioral types
• Polarized Substructural Session Types
• Practical affine types
• Propositions as sessions
• Relating state-based and process-based concurrency through linear logic (full-version)
• Session types as intuitionistic linear propositions
• Structural proof theory. With an appendix by Aarne Ranta

Cited in

(7)

• Deadlock freedom for asynchronous and cyclic process networks
• Adjoint interpretations of sentential calculi
• Back to futures
• Modal crash types for intermittent computing
• scientific article; zbMATH DE number 7471698 (Why is no real title available?)
• Fairness and communication-based semantics for session-typed languages
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks

Describes a project that uses

Uses Software

• Pesca
• Alms

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)