Search the dblp DataBase

Publications of Author

1. Bent Thomsen, Lone Leth, Tsung-Min Kuo
   A Facile Tutorial. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1996, pp:278-298 [Conf]
   
2. Roberto M. Amadio, Lone Leth, Bent Thomsen
   From a Concurrent Lambda-Calculus to the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
   FCT, 1995, pp:106-115 [Conf]
   
3. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
   Analysis of Facile Programs: A Case Study. [Citation Graph (0, 0)][DBLP]
   LOMAPS, 1996, pp:345-369 [Conf]
   
4. Bent Thomsen, Lone Leth, Alessandro Giacalone
   Some Issues in the Semantics of Facile Distributed Programming. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:563-593 [Conf]
   
5. Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
   Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. [Citation Graph (0, 0)][DBLP]
   SAS, 1996, pp:98-112 [Conf]
   
6. Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen
   True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1993, pp:182-198 [Conf]
   
7. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
   Causality for Debugging Mobile Agents. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1999, v:36, n:5, pp:335-374 [Journal]
   
8. Lone Leth, Bent Thomsen
   Some Facile Chemistry. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:3, pp:314-328 [Journal]