Publications

SUMMARY

ClearSy Publications
Program Committees
ClearSy Employee Publications

ClearSy Publications - Louis MUSSAT

2008

• Louis Mussat (ClearSy)
  Modèles Réactifs - Exemple de B Evénementiel "L'Ile"
  07 juillet 2008
  Download Article
  Archives

 

2002

• J.-R. Abrial and L. Mussat
  "On Using Conditional Definitions in Formal Theories"
  in ZB 2002: Formal Specification and Development in Z and B,
  Proceedings, vol. 2272 of Lecture Notes in Computer Science, pp. 242-269, Springer
  Accéder à l'article

1998

• J.-R. Abrial and L. Mussat
  "Introducing Dynamic Constraints in B,"
  in B'98: Recent Advances in the Development and Use of the B Method,
  Proceedings, vol. 1393 of Lecture Notes in Computer Science, pp. 83-128, Springer
  Accéder à l'article

1996

• J.-R. Abrial and L. Mussat
  "Specification and Design of a Transmission Protocol by Successive Refinements Using B",
  in Mathematical Methods in Program Development,
  Proceedings, vol. 158 of NATO Advanced Science Institutes Series F: Computer and Systems Sciences, pp. 129-200, Springer

1991

• L. Mussat
  "Parallel Programming with Bags"
  in Research Directions in High-Level Parallel Programming Languages,
  Proceedings, vol. 574 of Lecture Notes in Computer Science, pp. 203-218, Springer
  Accéder à l'article