The following pages link to Gérard Boudol (Q685357):
Displaying 50 items.
- Graphical versus logical specifications (Q685358) (← links)
- Observing localities (Q685414) (← links)
- Algèbre de processus et synchronisation (Q789894) (← links)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- (Q1124365) (redirect page) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- The chemical abstract machine (Q1190491) (← links)
- The \(\pi\)-calculus in direct style (Q1290334) (← links)
- Lambda-calculi for (strict) parallel functions (Q1314269) (← links)
- A theory of processes with localities (Q1329198) (← links)
- Flow models of distributed computations: Three equivalent semantics for CCS (Q1341775) (← links)
- On the semantics of the call-by-name CPS transform (Q1575687) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- (Q1838284) (redirect page) (← links)
- Recursion induction principle revisited (Q1838286) (← links)
- The discriminating power of multiplicities in the \(\lambda\)-calculus (Q1917097) (← links)
- (Q2763678) (← links)
- (Q2851085) (← links)
- A Deadlock-Free Semantics for Shared Memory Concurrency (Q3393404) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Fair Cooperative Multithreading (Q3525643) (← links)
- A Theory of Speculative Computation (Q3558222) (← links)
- Secure Information Flow as a Safety Property (Q3619469) (← links)
- (Q3700824) (← links)
- (Q3735084) (← links)
- (Q3745292) (← links)
- (Q3750994) (← links)
- (Q3805920) (← links)
- (Q3817586) (← links)
- (Q3942368) (← links)
- (Q3945564) (← links)
- (Q4027619) (← links)
- (Q4035230) (← links)
- (Q4191565) (← links)
- (Q4222749) (← links)
- (Q4370350) (← links)
- (Q4457448) (← links)
- (Q4501679) (← links)
- (Q4535032) (← links)
- The recursive record semantics of objects revisited (Q4669643) (← links)
- A semantics for lambda calculi with resources (Q4704764) (← links)
- (Q4721639) (← links)
- (Q4733397) (← links)
- (Q4734781) (← links)
- (Q4796528) (← links)
- (Q4934325) (← links)
- (Q4986257) (← links)
- Relaxed memory models (Q5261535) (← links)
