-
Proof in the Wording: Two modalities from Ancient Chinese Algorithms
In the mathematical writings that have come down to us from ancient China, proofs did not aim at establishing the truth of theorems but rather the correctness of... -
Stochastic simulation of multiple process calculi for biology
International audience -
A Criterion to Enforce Correctness of Indirectly Cooperating Applications
Article dans revue scientifique avec comité de lecture.
