Lone Leth
From MaRDI portal
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 |
| Causality for debugging mobile agents Acta Informatica | 1999-11-01 | Paper |
Research outcomes over time
This page was built for person: Lone Leth
