Around classical and intuitionistic linear processes

DOI10.4230/LIPICS.CONCUR.2024.30MaRDI QIDQ6859918zbMATH OpenFDO

Authors Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2024.30

zbMATH Keywords

linear logicprocess calculisession types

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A new linear logic for deadlock-free session-typed processes
• Around classical and intuitionistic linear logics
• Conflation confers concurrency
• Domain-aware session types
• Linear logic propositions as session types
• Linear logical relations and observational equivalences for session-based concurrency
• Linearity, control effects, and behavioral types
• Observed Communication Semantics for Classical Processes
• On the expressiveness of internal mobility in name-passing calculi
• Polarized Substructural Session Types
• Propositions as sessions
• Propositions as sessions
• Separating sessions smoothly
• Session types as intuitionistic linear propositions
• Some Syntactical Observations on Linear Logic

This page was built for publication: Around classical and intuitionistic linear processes

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