Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Frédéric Gava
Frédéric Gava
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs : sémantiques, implantations et certification
Directed Thesis:
Abstraction fonctionnelle pour la programmation d’architecture multi-niveaux : formalisation et implantation
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
BSP algorithms for LTL & CTL model checking of security protocols