dblp.uni-trier.dewww.uni-trier.de

Lone Leth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
8EEPierpaolo 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

Coauthor Index

1Roberto M. Amadio [4]
2Jean-Marc Andreoli [2]
3Roberta Borgia [5]
4Pierpaolo Degano [5] [6] [8]
5Alessandro Giacalone [1]
6Tsung-Min Kuo [7]
7Remo Pareschi [2]
8Corrado Priami [5] [6] [8]
9Bent Thomsen [1] [2] [3] [4] [5] [6] [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)