MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Bent Thomsen – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Mapping and Visiting in Functional and Objectoriented Programming
by Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen
…, Bent Thomsen, and Lone Leth Thomsen, Department of Computer Science, Aalborg University, Denmark…
Add To MetaCart

Causality for Debugging Mobile Agents
by Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen — 1996 — Acta Informatica
… and Bent Thomsen European Computer-Industry Research Centre Arabellastr. 17, D-81925 Munich, Germany…
Cited by 3 (2 self) – Add To MetaCart

Analysis of Facile Programs: a Case Study
by Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen — 1996 — In Proceedings of the Fifth LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
… 2 and Bent Thomsen 2 1 Dipartimento di Informatica, Universit`a di Pisa Corso Italia, 40, I-56125…
Cited by 3 (1 self) – Add To MetaCart

True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
by Jean-marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen — 1993 — In Proc. of TAPSOFT'93, volume 668 of Lecture Notes in Computer Science
… Programming Language with Broadcast Communication Jean-Marc Andreoli, Lone Leth, Remo Pareschi and Bent…
Cited by 11 (3 self) – Add To MetaCart

From a Concurrent lambda-calculus to the pi-calculus
by Roberto M. Amadio, Lone Leth, Bent Thomsen
…From a Concurrent -calculus to the ��-calculus ? Roberto M. Amadio, Lone Leth and Bent Thomsen…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB