| Publication | Date of Publication | Type |
|---|
Full abstraction for lambda calculus with resources and convergence testing
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
| Relaxed operational semantics of concurrent programming languages | 2021-04-27 | Paper |
Relaxed operational semantics of concurrent programming languages
(available as arXiv preprint) | 2021-04-27 | Paper |
Reactive concurrent programming revisited
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Relaxed memory models
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 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
Information and Computation | 2010-06-25 | Paper |
A theory of speculative computation
Programming Languages and Systems | 2010-05-04 | Paper |
A Deadlock-Free Semantics for Shared Memory Concurrency
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Secure Information Flow as a Safety Property
Formal Aspects in Security and Trust | 2009-04-07 | Paper |
Fair Cooperative Multithreading
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
On strong normalization and type inference in the intersection type discipline
Theoretical Computer Science | 2008-06-24 | Paper |
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Typing Safe Deallocation
Programming Languages and Systems | 2008-04-11 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Typing noninterference for reactive programs
The Journal of Logic and Algebraic Programming | 2007-08-10 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
The recursive record semantics of objects revisited
Journal of Functional Programming | 2005-04-15 | Paper |
| scientific article; zbMATH DE number 2061702 (Why is no real title available?) | 2004-03-22 | Paper |
| scientific article; zbMATH DE number 1876855 (Why is no real title available?) | 2003-03-05 | Paper |
Noninterference for concurrent programs and thread systems
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1754606 (Why is no real title available?) | 2002-06-12 | Paper |
| scientific article; zbMATH DE number 1692945 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1500657 (Why is no real title available?) | 2000-09-04 | Paper |
On the semantics of the call-by-name CPS transform
Theoretical Computer Science | 2000-08-21 | Paper |
A semantics for lambda calculi with resources
Mathematical Structures in Computer Science | 2000-05-09 | Paper |
The \(\pi\)-calculus in direct style
Higher-Order and Symbolic Computation | 1999-05-31 | Paper |
| scientific article; zbMATH DE number 1390060 (Why is no real title available?) | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1231449 (Why is no real title available?) | 1998-12-10 | Paper |
| scientific article; zbMATH DE number 1104446 (Why is no real title available?) | 1998-06-28 | Paper |
The discriminating power of multiplicities in the \(\lambda\)-calculus
Information and Computation | 1996-12-12 | Paper |
Flow models of distributed computations: Three equivalent semantics for CCS
Information and Computation | 1995-01-11 | Paper |
Lambda-calculi for (strict) parallel functions
Information and Computation | 1994-09-26 | Paper |
A theory of processes with localities
Formal Aspects of Computing | 1994-06-29 | Paper |
Graphical versus logical specifications
Theoretical Computer Science | 1993-10-25 | Paper |
Observing localities
Theoretical Computer Science | 1993-10-17 | Paper |
| scientific article; zbMATH DE number 176129 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 125881 (Why is no real title available?) | 1993-02-21 | Paper |
The chemical abstract machine
Theoretical Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 4119615 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4121471 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4074504 (Why is no real title available?) | 1988-01-01 | Paper |
Concurrency and atomicity
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4090776 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3995041 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3980501 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3926231 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3988695 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3967922 (Why is no real title available?) | 1985-01-01 | Paper |
Algèbre de processus et synchronisation
Theoretical Computer Science | 1984-01-01 | Paper |
Recursion induction principle revisited
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3763271 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3630184 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3759515 (Why is no real title available?) | 1978-01-01 | Paper |
