B. Thomsen

MaRDI QIDQ1177171zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From a concurrent λ-calculus to the π-calculus Fundamentals of Computation Theory	2022-12-09	Paper
True concurrency semantics for a linear logic programming language with broadcast communication Lecture Notes in Computer Science	2022-11-02	Paper
From safety critical Java programs to timed process models Programming Languages with Applications to Biology and Security	2016-01-08	Paper
scientific article; zbMATH DE number 2012388 (Why is no real title available?)	2003-12-15	Paper
scientific article; zbMATH DE number 1995172 (Why is no real title available?)	2003-10-21	Paper
A fully abstract denotational semantics for the calculus of higher-order communicating systems Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 1860679 (Why is no real title available?)	2001-01-01	Paper
Causality for debugging mobile agents Acta Informatica	1999-11-01	Paper
scientific article; zbMATH DE number 1236365 (Why is no real title available?)	1999-01-06	Paper
A theory of higher order communicating systems Information and Computation	1995-04-10	Paper
Plain CHOCS. A second generation calculus for higher order processes Acta Informatica	1993-01-01	Paper
Partial specifications and compositional verification Theoretical Computer Science	1992-06-26	Paper
scientific article; zbMATH DE number 4060694 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: B. Thomsen