Policies for fair exchanges of resources

DOI10.46298/LMCS-22(3:2)2026MaRDI QIDQ7308617zbMATH OpenFDO

Authors Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò

Publication date 4 August 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(3:2)2026

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A core quantitative coeffect calculus
• About solving linear equations with real coefficients.
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• Avoiding slack variables in the solving of linear diophantine equations and inequations
• Coeffects: a calculus of context-dependent computation
• Computational Logic in Multi-Agent Systems
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• Individual resource games and resource redistributions
• Linear logic as a logic of computations
• Modelling coeffects in the relational semantics of linear logic
• Modelling Multilateral Negotiation in Linear Logic
• Multiparty Asynchronous Session Types
• Multiparty session types as coherence proofs
• Propositions as sessions
• Session types as intuitionistic linear propositions
• Syntax and semantics of quantitative type theory

This page was built for publication: Policies for fair exchanges of resources

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7308617)