WorldCat Identities

Boudol, Gérard

Overview
Works: 60 works in 128 publications in 2 languages and 170 library holdings
Roles: Author, Thesis advisor, Opponent
Classifications: QA166, 510
Publication Timeline
.
Most widely held works by Gérard Boudol
Observing localities by G Boudol( Book )

6 editions published in 1991 in English and held by 12 WorldCat member libraries worldwide

Abstract: "We introduce a refined version of observation for CCS which allows the observer to see the distributed nature of processes. Using several examples we argue that a semantic theory based on such observations is not only intuitive but may also be of use when formalising the relationship between implementations and specifications. Technically, we show that the resulting theory of location equivalence is very similar to that of bisimulation equivalence, e.g. it can be characterised by a simple modal logic. A comparison with distributed bisimulations is also given."
A theory of processes with localities by G Boudol( Book )

5 editions published between 1991 and 1992 in English and held by 12 WorldCat member libraries worldwide

Abstract: "We study a notion of observation for concurrent processes which allows the observer to see the distributed nature of processes, giving explicit names for the location of actions. A general notion of bisimulation related to this observation of distributed systems is introduced. Our main result is that these bisimulation relations, particularized to a process algebra extending CCS, are completely axiomatizable. We discuss in details two instances of location bisimulations, namely the location equivalence and the location preorder."
Graphical versus logical specifications by Gérard Boudol( Book )

7 editions published in 1989 in English and held by 11 WorldCat member libraries worldwide

Abstract: "This paper studies the relations between two specification formalisms and verification methods for concurrent systems, namely Larsen-Thomsen's modal transition systems -- here called graphical specifications -- and Hennessy-Milner Logic. We show that any graphical specification may be expressed by a logical specification having the same models. Conversely, we give a characterization of the formulae that are graphically representable."
Recursion induction principle revisited by G Boudol( Book )

6 editions published in 1982 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Atomic actions by Gérard Boudol( Book )

5 editions published in 1989 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Permutation of transitions : an event structure semantics for CCS = Permutations de transitions: une sémantique par structures d'evénements pour CCS by Gérard Boudol( Book )

5 editions published in 1988 in English and French and held by 8 WorldCat member libraries worldwide

The chemical abstract machine = La machine abstraite chimique by Gérard Berry( Book )

3 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide

Abstract: "We introduce a new kind of abstract machine based on the chemical metaphor used in the [Gamma] language of Banâtre & al. States of a machine are chemical solutions where floating molecules can interact according to reaction rules. Solutions can be stratified by encapsulating subsolutions within membranes that force reactions to occur locally. We illustrate the use of this model by describing the operational semantics of the TCCS and CCS process calculi. We also show how to extract a higher-order concurrent [lambda]-calculus out of the basic concepts of the chemical machine."
Langages polyadiques algébriques ; Théorie des schémas de programmes : sémantique de l'appel par valeur by Gérard Boudol( Book )

2 editions published in 1976 in French and held by 7 WorldCat member libraries worldwide

Lambda-calculi for (strict) parallel functions = Lambda- calculs pour les fonctions parallèles (strictes) by Gérard Boudol( Book )

3 editions published in 1991 in English and held by 6 WorldCat member libraries worldwide

Abstract: "We introduce two [lambda]-calculi and show that they are expressive for two canonical domains of parallel functions. The first calculus is an enrichment of the lazy, call-by-name [lambda]-calculus with call-by-value abstractions and parallel composition, while in the second the usual call-by-name abstractions are disallowed. The corresponding domains are respectively Abramsky's domain [formula], a lifted function space, and [formula], a lifted domain of strict functions. These domains are lattices, and we show that the parallelism is adequately represented by the join operator, while call-by-value abstractions correspond to strict functions. The proofs of the results rely on a completeness theorem for the logical presentation of the semantics."
Process calculi, from theory to practice : verification tools by Gérard Boudol( Book )

5 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide

A lambda-calculus for parallel functions = Un lambda-calcul pour les fonctions parallèles by Gérard Boudol( Book )

4 editions published in 1990 in English and held by 5 WorldCat member libraries worldwide

Communication is an abstraction = La communication est une abstraction by Gérard Boudol( Book )

2 editions published in 1987 in Undetermined and English and held by 5 WorldCat member libraries worldwide

A non-interleaving semantics for CCS based on proved transitions = Une sémantique de parallélisme dans CCS basée sur les transitions prouvées by Gérard Boudol( Book )

2 editions published in 1988 in English and held by 5 WorldCat member libraries worldwide

Concurrency and atomicity = Parallélisme et atomicité by Gérard Boudol( Book )

3 editions published in 1987 in English and held by 4 WorldCat member libraries worldwide

Petri nets and algebraic calculi of processes by G Boudol( Book )

4 editions published between 1984 and 1985 in English and held by 4 WorldCat member libraries worldwide

Notes on algebraic calculi of processes by Gérard Boudol( Book )

2 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Experiment with Auto and AutoGraph on a simple case of sliding window protocol = Experience en Auto et AutoGraph sur un cas simple de protocole à fenêtre coulissante by Gérard Boudol( Book )

1 edition published in 1988 in English and held by 3 WorldCat member libraries worldwide

Computational semantics of terms rewriting systems by G Boudol( Book )

4 editions published in 1983 in English and French and held by 3 WorldCat member libraries worldwide

On the semantics of concurrency : partial orders and transition systems by Gérard Boudol( Book )

3 editions published in 1986 in English and held by 3 WorldCat member libraries worldwide

Typage du flux d'information sur déclassification et mobilité by Anna Gualdina Almeida Matos( )

2 editions published in 2006 in English and held by 3 WorldCat member libraries worldwide

Nous nous intéressons au sujet de la confidentialité et de la déclassification. Nous étudions en particulier l'usage d'un système de types et d'effets pour assurer de manière statique des politiques de sécurité flexibles pour un langage d'ordre supérieur impératif avec concurrence. Une méthodologie générale pour définir et prouver la correction du système de types et d'effets pour de telles propriétés est présentée. Nous considérons deux points principaux :- La question de trouver un mécanisme flexible de contrôle d'information qui permet la déclassification. Notre mécanisme de déclassification prend la forme d'une déclaration de politique locale de flux qui implémente une politique locale de flux d'information.- La question jusqu'ici inexplorée de contrôler les flux d'information dans un environnement global. Notre modèle de réseau, qui généralise l'environnement global, inclut une notion de domaine et une primitive de migration standard pour le code et les ressources. De nouvelles formes de perte d'information, introduites par la mobilité du code, sont révélées. Dans les deux cas mentionnés ci-dessus, pour prendre en compte les politiques de flux globales nous introduisons des généralisations de la non-interférence, qui sont nommées non-divulgation et non-divulgation pour les réseaux. Ces généralisations sont obtenues à l'aide d'une représentation concrète des treillis de sécurité, où les nivaux de confidentialité sont des ensembles de principaux, semblables à des listes de contrôle d'accès
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Observing ... to 0.00 for Observing ...)

Languages
English (66)

French (4)