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