Concepedia

Bent Thomsen

BT

Statistics

Publications

19

Citations

1.2K

H-Index

14

Active since

1989

Affiliations

Aalborg University(Current)

Imperial College London

VIA University College

Bent Thomsen is an author at Aalborg University specializing in computer science, computing, and real-time systems design.

Publications per year

1989–2020

19

Publications

19

A modal process logic

Kim G. Larsen, Bent Thomsen · 2003 · 469 citations

Computing, Computer Science, Computer Systems +13

Plain CHOCS A second generation calculus for higher order processes

Bent Thomsen · Acta Informatica · 1993 · 136 citations

Natural Sciences, Mathematics, Differential Equations +5

A calculus of higher order communicating systems

Bent Thomsen · 1989 · 133 citations · Full text

Computing, Computer Science, Communication Theory +10

Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin

René Rydhof Hansen, Rico Wind, Christian S. Jensen et al. · 2009 · 84 citations

Computing, Computer Systems, Information Technology +12

A Theory of Higher Order Communicating Systems

Bent Thomsen · Information and Computation · 1995 · 63 citations · Full text

Computing, Computer Science, Communication Theory +6

1–5 of 19