-
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-...
This thesis takes part in the formal verification of parallel programs. The aim of formal verification is to ensure that a program will run as it should, without... -
Quantales as completions of ordered monoids: revised semantics for Intuitioni...
Article dans revue scientifique avec comité de lecture.
