Gérard Boudol

Available identifiers

zbMath Open boudol.gerardMaRDI QIDQ685357

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2851085	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
Concurrency and atomicity	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3805920	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/Q3735084	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750994	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

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: Gérard Boudol