Michel Bidoit

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner et al. · Theoretical Computer Science · 2002 · 188 citations

Computing, Computer Science, Algebra +8

Behavioural and abstractor specifications

Michel Bidoit, Rolf Hennicker, Martin Wirsing · Science of Computer Programming · 1995 · 80 citations

Computing, Computer Science, Formal Methods +7

A Rehabilitation of Robinson's Unification Algorithm.

Jacques Corbin, Michel Bidoit · IFIP Congress · 1983 · 78 citations

Computing, Computer Science, Algorithms +5

Behavioural theories and the proof of behavioural properties

Michel Bidoit, Rolf Hennicker · Theoretical Computer Science · 1996 · 65 citations

Natural Sciences, Mathematics, Set Theory +7

How to make algebraic specifications more understandable: An experiment with the pluss specification language

Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin · Science of Computer Programming · 1989 · 37 citations

Computing, Computer Science, Algebra +11