| Publication | Date of Publication | Type |
|---|
| Full abstraction for lambda calculus with resources and convergence testing | 2023-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986257 | 2021-04-27 | Paper |
| Reactive Concurrent Programming Revisited | 2015-07-10 | Paper |
| Relaxed memory models | 2015-07-03 | Paper |
| On type inference in the intersection type discipline | 2013-10-02 | Paper |
| Typing termination in a higher-order concurrent imperative language | 2010-06-25 | Paper |
| A Theory of Speculative Computation | 2010-05-04 | Paper |
| A Deadlock-Free Semantics for Shared Memory Concurrency | 2009-08-20 | Paper |
| Secure Information Flow as a Safety Property | 2009-04-07 | Paper |
| Fair Cooperative Multithreading | 2008-09-18 | Paper |
| On strong normalization and type inference in the intersection type discipline | 2008-06-24 | Paper |
| Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra | 2008-06-19 | Paper |
| Typing Safe Deallocation | 2008-04-11 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Typing noninterference for reactive programs | 2007-08-10 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Coordination Models and Languages | 2006-01-10 | Paper |
| Global Computing | 2005-08-19 | Paper |
| The recursive record semantics of objects revisited | 2005-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457448 | 2004-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4796528 | 2003-03-05 | Paper |
| Noninterference for concurrent programs and thread systems | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535032 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763678 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501679 | 2000-09-04 | Paper |
| On the semantics of the call-by-name CPS transform | 2000-08-21 | Paper |
| A semantics for lambda calculi with resources | 2000-05-09 | Paper |
| The \(\pi\)-calculus in direct style | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934325 | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222749 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370350 | 1998-06-28 | Paper |
| The discriminating power of multiplicities in the \(\lambda\)-calculus | 1996-12-12 | Paper |
| Flow models of distributed computations: Three equivalent semantics for CCS | 1995-01-11 | Paper |
| Lambda-calculi for (strict) parallel functions | 1994-09-26 | Paper |
| A theory of processes with localities | 1994-06-29 | Paper |
| Graphical versus logical specifications | 1993-10-25 | Paper |
| Observing localities | 1993-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035230 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027619 | 1993-02-21 | Paper |
| The chemical abstract machine | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733397 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4734781 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805920 | 1988-01-01 | Paper |
| Concurrency and atomicity | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817586 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721639 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745292 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700824 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750994 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735084 | 1985-01-01 | Paper |
| Algèbre de processus et synchronisation | 1984-01-01 | Paper |
| Recursion induction principle revisited | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3945564 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191565 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942368 | 1978-01-01 | Paper |
