True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication

Authors:
Jean-Marc Andreoli;Lone Leth;Remo Pareschi;Bent Thomsen
Affiliations:
-;-;-;-
Venue:
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1993

Citing 0
Cited 3

Comparing coordination models and architectures using embeddings

Science of Computer Programming - Special issue on coordination languages and architectures
Comparing Software Architectures for Coordination Languages

COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
An effective fixpoint semantics for linear logic programs

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract