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. Kim Guldstrand Larsen, Bent Thomsen
   A Modal Process Logic [Citation Graph (0, 0)][DBLP]
   LICS, 1988, pp:203-210 [Conf]
   
4. 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]
   
5. Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
   Logical and Operational Methods in the Analysis of Programs and Systems. [Citation Graph (0, 0)][DBLP]
   LOMAPS, 1996, pp:1-21 [Conf]
   
6. Kim Guldstrand Larsen, Bent Thomsen
   Compositional Proofs by Partial Specification of Processes. [Citation Graph (0, 0)][DBLP]
   MFCS, 1988, pp:414-423 [Conf]
   
7. Bent Thomsen
   A Calculus of Higher Order Communicating Systems. [Citation Graph (0, 0)][DBLP]
   POPL, 1989, pp:143-154 [Conf]
   
8. 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]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. Bent Thomsen
    Plain CHOCS: A Second Generation Calculus for Higher Order Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:1, pp:1-59 [Journal]
    
13. Bent Thomsen
    Programming Languages, Analysis Tools, and Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:57- [Journal]
    
14. Bent Thomsen, Lone Leth Thomsen
    Towards Global Computations Guided by Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1998, v:66, n:, pp:92-99 [Journal]
    
15. Lone Leth, Bent Thomsen
    Some Facile Chemistry. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:3, pp:314-328 [Journal]
    
16. Bent Thomsen
    A Theory of Higher Order Communicating Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:116, n:1, pp:38-57 [Journal]
    
17. Kim Guldstrand Larsen, Bent Thomsen
    Partial Specifications and Compositional Verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:88, n:1, pp:15-32 [Journal]
    
18. 
    A Profile for Safety Critical Java. [Citation Graph (, )][DBLP]
    
    
19. 
    Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. [Citation Graph (, )][DBLP]
    
    
20. 
    Seamless indoor/outdoor positioning with streamspin. [Citation Graph (, )][DBLP]
    
    
21. 
    Using Weighted Graphs for Computationally Efficient WLAN Location Determination. [Citation Graph (, )][DBLP]
    
    
22. 
    Pretty Easy Pervasive Positioning. [Citation Graph (, )][DBLP]
    
    
23. 
    Model-based schedulability analysis of safety critical hard real-time Java programs. [Citation Graph (, )][DBLP]
    
    
24. 
    A predictable Java profile: rationale and implementations. [Citation Graph (, )][DBLP]
    
    
25. 
    Schedulability analysis for Java finalizers. [Citation Graph (, )][DBLP]
    
    
26. 
    Efficient and Accurate WLAN Positioning with Weighted Graphs. [Citation Graph (, )][DBLP]