BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Thomsen:Bent

Contributed to:

SAS 19961996
POPL 19891989
LICS 19881988
PLATEAU 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.