Home | B News | B Method | R&D Activities | Formal Proof | Publications | Conferences | B, the different languages | Open Source Projects | B Tools | Documents | Links | Contact

Publications

SUMMARY

ClearSy Publications - Louis MUSSAT

2008

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