Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication
TAPSOFT, 1993.
@inproceedings{TAPSOFT-1993-AndreoliLPT,
author = "Jean-Marc Andreoli and Lone Leth Thomsen and Remo Pareschi and Bent Thomsen",
booktitle = "{Proceedings of the Fifth International Joint Conference on Theory and Practice of Software Development}",
doi = "10.1007/3-540-56610-4_64",
isbn = "3-540-56610-4",
pages = "182--198",
publisher = "{Springer}",
title = "{True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication}",
year = 1993,
}











