A hybrid linear logic for constrained transition systems

DOI10.4230/LIPICS.TYPES.2013.150MaRDI QIDQ2968415zbMATH OpenFDO

Authors Kaustuv Chaudhuri, J. Despeyroux

Publication date 13 March 2017

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

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)

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

Cited in

(8)

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

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)