True concurrency semantics for a linear logic programming language with broadcast communication
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 182-198
- https://doi.org/10.1007/3-540-56610-4_64
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- A new constructive logic: classic logicMathematical Structures in Computer Science, 1991
- Communication as fair distribution of knowledgePublished by Association for Computing Machinery (ACM) ,1991
- Linear objects: Logical processes with built-in inheritanceNew Generation Computing, 1991
- Interaction netsPublished by Association for Computing Machinery (ACM) ,1990
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- A parallel machine for multiset transformation and its programming styleFuture Generation Computer Systems, 1988
- Linear logicTheoretical Computer Science, 1987