An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials

DOI10.1007/978-3-662-48899-7_11zbMath1471.03086OpenAlexW2285450090MaRDI QIDQ3460050

Kaustuv Chaudhuri, Giselle Reis

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01208362/file/lpar2015.pdf

Mathematics Subject Classification ID

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

Related Items

On concurrent behaviors and focusing in linear logic ⋮ A linear logic framework for multimodal logics ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Unnamed Item ⋮ Hybrid and subexponential linear logics ⋮ Hybrid linear logic, revisited