Bent Thomsen

Available identifiers

zbMath Open thomsen.bentDBLP25/5521WikidataQ57312472 ScholiaQ57312472MaRDI QIDQ1177171

List of research outcomes

Publication	Date of Publication	Type
From a concurrent λ-calculus to the π-calculus	2022-12-09	Paper
True concurrency semantics for a linear logic programming language with broadcast communication	2022-11-02	Paper
From Safety Critical Java Programs to Timed Process Models	2016-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4437806	2003-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4431382	2003-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4790407	2001-01-01	Paper
Causality for debugging mobile agents	1999-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4223779	1999-01-06	Paper
A theory of higher order communicating systems	1995-04-10	Paper
Plain CHOCS. A second generation calculus for higher order processes	1993-01-01	Paper
Partial specifications and compositional verification	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3795197	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bent Thomsen