Boudol, Gérard - INRIA Sophia Antipolis

• An Interpretation of Extensible Objects G#rard Boudol (*) and Silvano DalZilio
• On Declassification and the NonDisclosure Policy (*) Ana Almeida Matos and Gerard Boudol
• On Type Inference Intersection Type Discipline
• Atomic Actions G'erard Boudol
• On Strong Normalization Intersection Type Discipline
• Recursion in the Call-by-Value -Calculus (*) G erard Boudol and Pascal Zimmer
• to appear in the Proceedings of ASIAN'97, the Asian Computing Science Conference,
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Typing Noninterference for Reactive Ana Almeida Matos a,1
• A Core Programming Model for Global Computing (*) G erard Boudol
• Reactive concurrent programming revisited Roberto M. Amadio Gerard Boudol Frederic Boussinot Ilaria Castellani
• The Recursive Record Semantics of Objects Revisited (*) G erard Boudol
• Asynchrony and the calculus G'erard Boudol
• Safe Recursive Boxes Gerard Boudol
• A Generic Membrane Model (*) Gerard Boudol
• Noninterference for Concurrent Programs \Lambda G#rard Boudol and Ilaria Castellani
• Fundamenta Informaticae XXI (2001) 1001--1025 1001 On message deliverability and nonuniform receptivity
• On Typing Information Flow (*) Gerard Boudol
• On Declassification and the Non-Disclosure Policy (*) Ana Almeida Matos and Gerard Boudol
• Noninterference for Concurrent Programs and Thread Systems
• Recursion in the Call-by-Value -Calculus (*) G erard Boudol and Pascal Zimmer
• True Concurrency at Work: Relaxed Memory Models
• A Core Programming Model for Global Computing (*) Gerard Boudol
• Atomic Actions Gerard Boudol
• Relaxed Memory Models: an Operational Approach Gerard Boudol Gustavo Petri
• Typing Safe Deallocation Gerard Boudol
• A Theory of Speculative Computation Gerard Boudol and Gustavo Petri
• Some Chemical Abstract Machines G'erard Boudol
• On Type Inference Intersection Type Discipline
• On Strong Normalization and Type Inference Intersection Type Discipline
• The receptive distributed -Calculus Roberto M. Amadio y
• MIKADO Global Computing Project IST-2001-32222 Mobile Calculi Based on Domains
• Safe Recursive Boxes Gerard Boudol
• The Calculus in Direct Style (*) G'erard Boudol
• The LambdaCalculus with Multiplicities (preliminary report)
• On Declassification and the NonDisclosure Policy (*) Ana Almeida Matos Gerard Boudol
• Secure Information Flow as a Safety Property (*) Gerard Boudol
• Secure Information Flow Safety Property
• Access Control and Declassification Gerard Boudol and Marija Kolundzija
• On Declassification and the Non-Disclosure Policy (*) Ana Almeida Matos Gerard Boudol
• On Typing Information Flow (*) Gerard Boudol
• On Declassification and the Non-Disclosure Policy (*) Ana Almeida Matos () and Gerard Boudol