Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:∅ K.G.Larsen Svetomir Kurtev Tommy Aagaard Christensen J.Andreoli L.L.Thomsen R.Pareschi R.Borgia P.Degano C.Priami L.Leth
Talks about:communic (2) program (2) languag (2) semant (2) logic (2) understand (1) interleav (1) braodcast (1) discount (1) calculus (1)
Person: Bent Thomsen
DBLP: Thomsen:Bent
Contributed to:
1996
1989
1988
1993
2016Wrote 5 papers:
- SAS-1996-BorgiaDPLT #comprehension #mobile #semantics
- Understanding Mobile Agents via a Non-Interleaving Semantics for Facile (RB, PD, CP, LL, BT), pp. 98–112.
- POPL-1989-Thomsen #calculus #communication #higher-order
- A Calculus of Higher Order Communicating Systems (BT), pp. 143–154.
- LICS-1988-LarsenT #logic #process
- A Modal Process Logic (KGL, BT), pp. 203–210.
- TAPSOFT-1993-AndreoliLPT #communication #concurrent #linear #logic programming #programming language #semantics
- True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication (JMA, LLT, RP, BT), pp. 182–198.
- PLATEAU-2016-KurtevCT #evaluation #programming language
- Discount method for programming language evaluation (SK, TAC, BT), pp. 1–8.