Authors: BERNOT G BIDOIT M KNAPIK T

Citation: G. Bernot et al., OBSERVATIONAL SPECIFICATIONS AND THE INDISTINGUISHABILITY ASSUMPTION, Theoretical computer science, 139(1-2), 1995, pp. 275-314

Authors: BERNOT G LEGALL P AIGUIER M

Citation: G. Bernot et al., LABEL ALGEBRAS AND EXCEPTION HANDLING, Science of computer programming, 23(2-3), 1994, pp. 227-286

Authors: BERNOT G BIDOIT M KNAPIK T

Citation: G. Bernot et al., BEHAVIORAL-APPROACHES TO ALGEBRAIC SPECIFICATIONS, Acta informatica, 31(7), 1994, pp. 651-671