True concurrency semantics for a linear logic programming language with broadcast communication

DOI10.1007/3-540-56610-4_64MaRDI QIDQ5044735zbMATH OpenOpenAlexFDO

Authors Jean-Marc Andreoli, Lone Leth, Remo Pareschi, B. Thomsen

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_64

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Linear concurrent constraint programming: Operational and phase semantics
• scientific article; zbMATH DE number 1761892
• Distributed concurrent linear logic programming
• scientific article; zbMATH DE number 1113818
• scientific article; zbMATH DE number 1638652

Cites work

• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• A new constructive logic: classic logic
• Conditional rewriting logic as a unified model of concurrency
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic

Cited in

(1)

• Focussing and proof construction

This page was built for publication: True concurrency semantics for a linear logic programming language with broadcast communication

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