Gérard Boudol

From MaRDI portal
Person:685357

Available identifiers

zbMath Open boudol.gerardMaRDI QIDQ685357

List of research outcomes

PublicationDate of PublicationType
Full abstraction for lambda calculus with resources and convergence testing2023-02-23Paper
https://portal.mardi4nfdi.de/entity/Q49862572021-04-27Paper
Reactive Concurrent Programming Revisited2015-07-10Paper
Relaxed memory models2015-07-03Paper
https://portal.mardi4nfdi.de/entity/Q28510852013-10-02Paper
Typing termination in a higher-order concurrent imperative language2010-06-25Paper
A Theory of Speculative Computation2010-05-04Paper
A Deadlock-Free Semantics for Shared Memory Concurrency2009-08-20Paper
Secure Information Flow as a Safety Property2009-04-07Paper
Fair Cooperative Multithreading2008-09-18Paper
On strong normalization and type inference in the intersection type discipline2008-06-24Paper
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra2008-06-19Paper
Typing Safe Deallocation2008-04-11Paper
Programming Languages and Systems2007-09-28Paper
Typing noninterference for reactive programs2007-08-10Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
Coordination Models and Languages2006-01-10Paper
Global Computing2005-08-19Paper
The recursive record semantics of objects revisited2005-04-15Paper
https://portal.mardi4nfdi.de/entity/Q44574482004-03-22Paper
https://portal.mardi4nfdi.de/entity/Q47965282003-03-05Paper
Noninterference for concurrent programs and thread systems2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q45350322002-06-12Paper
https://portal.mardi4nfdi.de/entity/Q27636782002-01-21Paper
https://portal.mardi4nfdi.de/entity/Q45016792000-09-04Paper
On the semantics of the call-by-name CPS transform2000-08-21Paper
A semantics for lambda calculi with resources2000-05-09Paper
The \(\pi\)-calculus in direct style1999-05-31Paper
https://portal.mardi4nfdi.de/entity/Q49343251999-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42227491998-12-10Paper
https://portal.mardi4nfdi.de/entity/Q43703501998-06-28Paper
The discriminating power of multiplicities in the \(\lambda\)-calculus1996-12-12Paper
Flow models of distributed computations: Three equivalent semantics for CCS1995-01-11Paper
Lambda-calculi for (strict) parallel functions1994-09-26Paper
A theory of processes with localities1994-06-29Paper
Graphical versus logical specifications1993-10-25Paper
Observing localities1993-10-17Paper
https://portal.mardi4nfdi.de/entity/Q40352301993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40276191993-02-21Paper
The chemical abstract machine1992-09-26Paper
https://portal.mardi4nfdi.de/entity/Q47333971989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47347811989-01-01Paper
Concurrency and atomicity1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38059201988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38175861988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47216391987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37452921986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37008241985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37350841985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37509941985-01-01Paper
Algèbre de processus et synchronisation1984-01-01Paper
Recursion induction principle revisited1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39455641981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41915651979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39423681978-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Gérard Boudol