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

DOI10.1007/3-540-56610-4_64zbMATH Open1497.68083OpenAlexW1578398493MaRDI QIDQ5044735FDOQ5044735

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

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

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)

Cites Work

• Linear logic
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Conditional rewriting logic as a unified model of concurrency
• Title not available (Why is that?)

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)