A hybrid linear logic for constrained transition systems

DOI10.4230/LIPICS.TYPES.2013.150zbMATH Open1359.03027arXiv1603.02641MaRDI QIDQ2968415FDOQ2968415

Authors: Kaustuv Chaudhuri, J. Despeyroux 

Publication date: 13 March 2017

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

Recommendations

• Hybrid linear logic, revisited
• Encoding transition systems in sequent calculus
• scientific article; zbMATH DE number 1231524
• scientific article; zbMATH DE number 1678395
• scientific article; zbMATH DE number 1361538

zbMATH Keywords

adequacylinear logichybrid logicfocusingstochastic pi-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• A focused linear logical framework and its application to metatheory of object logics
• On subexponentials, focusing and modalities in concurrent systems
• Hybrid and subexponential linear logics
• Hybrid linear logic, revisited
• Verification of spatial and temporal modalities in biochemical systems
• Encoding transition systems in sequent calculus
• A subexponential view of domains in session types
• Constraint nets: a semantic model for hybrid dynamic systems

This page was built for publication: A hybrid linear logic for constrained transition systems

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