Benoît Ballenghien

E-Mails 📧

• rf.yalcas-sirap-etisrevinu @neihgnellab.tioneb

Entries

2025

A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series

by Benjamin Puyobro 📧, Benoît Ballenghien 📧 and Burkhart Wolff 📧

Feb 12

2023

Operational Semantics formally proven in HOL-CSP

by Benoît Ballenghien 📧 and Burkhart Wolff 📧

Dec 24

HOL-CSPM - Architectural operators for HOL-CSP

by Benoît Ballenghien 📧, Safouan Taha 📧 and Burkhart Wolff 📧

Dec 05