True concurrency semantics for a linear logic programming language with broadcast communication
From MaRDI portal
Publication:5044735
DOI10.1007/3-540-56610-4_64zbMath1497.68083OpenAlexW1578398493MaRDI QIDQ5044735
Remo Pareschi, Lone Leth, Bent Thomsen, Jean-Marc Andreoli
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
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Related Items
Cites Work