Boudol, Gérard, 19..-....
Gérard Boudol Ph.D.
VIAF ID: 219350459 ( Personal )
Permalink: http://viaf.org/viaf/219350459
Preferred Forms
- 100 1 _ ‡a Boudol, Gérard, ‡d 19..-....
- 100 0 _ ‡a Gérard Boudol ‡c Ph.D.
Works
Title | Sources |
---|---|
Atomic actions | |
LE CALCUL BLEU : TYPES ET OBJETS | |
The chemical abstract machine = La machine abstraite chimique | |
Communication is an abstraction = La communication est une abstraction | |
Components an types. | |
Composants et typage | |
Conception et implémentation d'un langage de programmation concurrente modulaire | |
Implementation of a language with strong mobility. | |
Langages polyadiques algébriques : théorie des schémas de programmes : sémantique de l'appel par valeur | |
Mise en oeuvre d'un langage à mobilité forte | |
Operational semantics of relaxed memory models | |
Permutation of transitions : an event structure semantics for CCS = Permutations de transitions: une sémantique par structures d'evénements pour CCS | |
Réceptivité, mobilité et π-Calcul | |
Récursion généralisée et inférence de types avec intersection | |
Sémantique et sécurité des applications Web | |
Sémantique opérationnelle et algébrique des programmes récursifs non-déterministes | |
Typing secure information flow : declassification and mobility. |