Distributed concurrent linear logic programming

DOI10.1016/S0304-3975(99)00052-3MaRDI QIDQ1575879zbMATH OpenOpenAlexWikidataFDO

Authors Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa

Publication date 23 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(99)00052-3

zbMATH Keywords

distributed concurrent linear logic programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 1304382
• Distributed Logic Programming
• Concurrent programming as proof net construction

Cited in

(14)

• A declarative approach to distributed computing: specification, execution and analysis
• A Logic For Distributed Processes
• Distributed programming with logic tuple spaces
• Computer Science Logic
• A programming model and foundation for lineage-based distributed computation
• Computer Science Logic
• Closures and Modules Within Linear Logic Concurrent Constraint Programming
• Distributed Logic Programming
• Linear and affine logics with temporal, spatial and epistemic operators
• scientific article; zbMATH DE number 2134913 (Why is no real title available?)
• True concurrency semantics for a linear logic programming language with broadcast communication
• Distributed first order logics
• scientific article; zbMATH DE number 1304382 (Why is no real title available?)
• Temporal BI: proof system, semantics and translations

This page was built for publication: Distributed concurrent linear logic programming

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