Knowledge Tree

researcher / Paul Gastin

Paul Gastin

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Un modele distribue

Directed Thesis:

Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants

Verification of communicating recursive programs via split-width

Specification and verification of quantitative properties : expressions, logics, and automata

A truly concurrent semantics for processes sharing quantified resources

Logiques pour les systèmes temporisés : contrôle et expressivité

Utilisation des automates alternants pour un model-checking efficace des logiques temporelles linéaires

Modelisation du parallelisme par congruences et ordres partiels