Benoît Ballenghien

0009-0000-4941-187X

E-Mails 📧

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

Entries

2026

A Bridge between CSP Processes and Functional Automata

by Benoît Ballenghien and Burkhart Wolff

Feb 02

Parameterized Termination for Sequential Composition and Synchronization Product

by Benoît Ballenghien

Feb 02

2025

Ultrametric Structure for Restriction Spaces

by Benoît Ballenghien, Benjamin Puyobro and Burkhart Wolff

May 07

Examples of Restriction Spaces

by Benoît Ballenghien, Benjamin Puyobro and Burkhart Wolff

May 07

Restriction Spaces: a Fixed-Point Theory

by Benoît Ballenghien, Benjamin Puyobro and Burkhart Wolff

May 07

CSP Semantics over Restriction Spaces

by Benoît Ballenghien and Burkhart Wolff

May 07

Definition and Elementary Properties of Ultrametric Spaces

by Benoît Ballenghien, Benjamin Puyobro and Burkhart Wolff

Apr 10

Sophie Germain’s Theorem

by Benoît Ballenghien

Apr 09

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

2019

HOL-CSP Version 2.0

by Benoît Ballenghien, Safouan Taha, Burkhart Wolff and Lina Ye

Apr 26